Условие задачи
Задан оператор соответствия: три первых столбца - входные слова, три столбца справа - выходные слова.
1. Привести оператор к автоматному виду, добавляя "пустые" символы: входные - справа к входному слову и выходные - слева к выходному слову.
2. По полученному в п.1 оператору построить граф переходов автомата модели Мили.
3. Построить совмещенную таблицу переходов-выходов (СТПВ) автомата модели Мили. Выполнить первый этап минимизации автомата по графу переходов.
4. Выполнить минимизацию автомата, используя треугольную таблицу, которая построена по исходной СТПВ с построением СТПВ минимального автомата.
5. Проверить правильность минимизации построением автоматной ленты для каждого входного слова.
Ответ
1. Множество входных символов (входной алфавит): Z = {z0, z1}, множество выходных символов (выходной алфавит): W = {w0, w1}. Представим оператор соответствия, используя входной и выходной алфавит, в виде следующего табличного оператора (табл. 1):
Приведем табличный оператор к автоматному виду, введя фиктивные дополнительные буквы и , при этом проверяя условие однозначности - оператор должен однозн...