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

66функции приспособленности, третий – на вычислении длины общегопрефикса строк. В качестве метода генерации следующего поколенияиспользуется метод рулетки.Алгоритмы, предлагаемые в рассматриваемой работе, реализованы винструментальном средстве GeSM. В этом инструментальном средстве,кроме самого генетического алгоритма, также реализован алгоритмудаления недостижимых состояний автоматов.Экспериментальное исследование разработанных генетическихалгоритмов проводилось на задачах построения автоматов для проверкичетности, элемента задержки на два такта, распознавателя паттернов исчетчика.1.3.2.2. Построение конечных преобразователейКонечным преобразователем называется шестерка (Q, Σ, O, δ, γ, q 0 ),где Q – множество состояний автомата, Σ – его входной алфавит, O – еговыходной алфавит, δ – функция переходов, γ – функция выходов, q 0 –начальное состояние. Аргументами функции переходов являются текущеесостояние и входной символ, а значением – новое состояние. Аргументамифункции выходов также являются текущее состояние и входной символ, азначением – символ из выходного алфавита или пустая строка.В работе [90] для построения конечных преобразователейприменяется (1 + 1)-эволюционная стратегия. Конечный преобразовательпредставляется в виде набора двух таблиц – значений функции переходови значений функции выходов. При этом предполагалось, что на каждом изпереходов конечный преобразователь может вывести не более одногосимвола.Входными данными для построения конечного автоматараспознавателяявляется набор обучающих примеров – пар слов, одно изкоторых является входным, а второе – соответствующим ему выходным.