173
правки
Изменения
→Эквивалентность автоматов Мили и Мура
== Эквивалентность автоматов Мили и Мура ==
Автомат Мура переходит в автомат Мили, если всем переходам в состояние поставить выходные воздействия этого состояния. После таких преобразований получим эквивалентный автомат Мили.
Однако, чтобы преобразовать автомат Мили в автомат Мура такой алгоритм не подходит, т.к. в одно состояние могут вести разные переходы. Но можно просто добавить новых состояний, устанавливая необходимые соответствия.
{{Теорема
|about=Эквивалентность автоматов Мура и Мили
|statement=
Для каждого автомата Мили может быть построен эквивалентный ему автомат Мура, и обратно {{---}} для каждого автомата Мура может быть построен эквивалентный ему автомат Мили.
|proof=
Опишем алгоритмы взаимной трансформации моделей Мили и Мура. При этом в автоматах Мура будем пренебрегать выходным сигналом <tex>\lambda(a_{1})</tex>, связанным с начальным состоянием.
}}
=== Переход от автомата Мура к автомату Мили ===
