Методы построения конечных автоматов на основе ...

59того чтобы отличать автоматы такого типа от управляющих конечныхавтоматов и конечных преобразователей для этой модели используетсятермин «конечный распознаватель»,.Конечным распознавателем A называется пятерка (Q, Σ, δ, q 0 , F), гдеQ – множество состояний автомата, Σ – его входной алфавит, δ – функцияпереходов, q 0 – начальное состояние, F – множество допускающихсостояний. Аргументами функции переходов являются текущее состояниеи входной символ, а значением – новое состояние.Из теории формальных языков известно, что конечныедетерминированные автоматы способны распознавать регулярныеязыки [26]. В связи с этим в ряде работ рассматривалась задача построенияпо множеству примеров автомата, распознающего некий язык. Длярешения этой задачи успешно применялись генетические алгоритмы.Задача может быть усилена до построения автомата с минимальнымчислом состояний. В работе [61] показано, что эта задача является NPполной.В работе [38] автоматы представлялись с помощью таблицыпереходов. Разработанный в этой работе метод позволяет поддерживать впопуляции автоматы с разным числом состояний. Функцияприспособленности учитывает три компонента – число вернораспознанных обучающих примеров, число состояний и переходовавтомата, степень общности языка, соответствующего построенномуавтомату. Это позволяет сузить область поиска, и находить языки,соответствующие определенным критериям. В обучающий набор могутвходить примеры слов, которые как принадлежат, так и не принадлежатязыку.Приведем описание генетической операции «репродукция». Числосостояний потомка выбирается случайно из диапазона [k – 2, k + 2], где k –число состояний первого родителя. После этого каждый переход