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>, т.е. входные и выходные алфавиты совпадают.
Рассмотрим пример, в котором <tex>Z_{А} = \{z_{1}, z_{2}\} = Z_{B}</tex>, <tex>W_{A} = \{w_{1}, w_{2}\} = W_{B}</tex>, <tex>a_{1A} = a_{1B}</tex>, алфавит состояний автомата Мура содержит четыре элемента.
При переходе от автомата Мура к автомату Мили алфавиты состояний также совпадают, т.е. <tex>A_{A} = A_{B}</tex>.
Для определения соответствия между функциями переходов выходов автоматов Мура и Мили воспользуемся следующей вспомогательной таблицей.
=== Переход от автомата Мили к автомату Мура ===
