Уменьшение количества лишних переходов и состоянийв распознавателях с магазинной памятью

Abstract

В статье рассматривается задача сокращения количества состояний распознавателя с мага- зинной памятью за счет исключения лишних переходов, которые никогда не срабатывают, и исклю- чения лишних состояний, в которых не может оказаться распознаватель в процессе обработки до- пустимой цепочки. Предлагается алгоритм поиска лишних переходов и состояний, основанный на представлении распознавателя в виде графа. Приводится пример распознавателя, в котором пред- ложенный алгоритм устраняет лишние переходы и состояния. Этот алгоритм не гарантирует ис- ключения всех лишних переходов и состояний. Приводится пример распознавателя с лишними пере- ходами и состояниями, которые не обнаруживаются алгоритмом. Предложенный алгоритм может быть использован при разработке программ обработки формальных языков.