173
правки
Изменения
→Переход от автомата Мура к автомату Мили
Пусть задан автомат Мура.
Требуется перейти к автомату Мили <tex>S_{B} = (A_{B}, Z_{B}, W_{B}, \delta _{B}, \lambda _{B}, a_{1B}</tex>), у которого <tex>Z_{A} = Z_{B}</tex>, <tex>W_{A} = W_{B}</tex>, т.е. входные и выходные алфавиты совпадают.
Для определения соответствия между функциями переходов выходов автоматов Мура и Мили воспользуемся следующей вспомогательной таблицей.
При переходе от автомата Мура к автомату Мили функции переходов также совпадают, а для определения функции выходов выходные сигналы с вершин опускается на входные дуги.
Проделав такие преобразования мы должны доказать, что получили автомат Мили, эквивалентный автомату Мура, т.е. что реакции автоматов на одинаковые входные воздействия совпадают.
Доказательство проводится по индукции, начиная со случая (см. таблицу) и, далее, увеличивая слова на 1 получим доказательство.
При таком переходе (Мура к Мили) число состояний совпадает.
=== Переход от автомата Мили к автомату Мура ===
