Изменения

== Эквивалентность автоматов Мили и Мура ==

Опишем алгоритмы взаимной трансформации моделей Мили и Мура. При этом в автоматах Мура будем пренебрегать выходным сигналом <tex>\lambda(a_{1})</tex>, связанным с начальным состоянием.

=== Переход от автомата Мура к автомату Мили ===