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

Abstract

В статье рассматривается задача эквивалентного преобразования распознавателя с магазин- ной памятью и одним состоянием в более компактный распознаватель. Уменьшение размера распо- знавателя достигается за счет сокращения количества магазинных символов. Для сокращения коли- чества магазинных символов вводится отношение на множестве этих символов, обладающее свой- ством эквивалентности, такое, что “стягивание” класса эквивалентности в один символ дает рас- познаватель, эквивалентный исходному. Предложен алгоритм разбиения множества магазинных символов на классы эквивалентности и алгоритм построения распознавателя, эквивалентного ис- ходному, но с меньшим (не большим) количеством магазинных символов. Предложенный алгоритм может быть использован при разработке программ обработки формальных языков.