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