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