Изменения

Перейти к: навигация, поиск

Автоматы Мура и Мили

129 байт добавлено, 13:56, 10 января 2015
Эквивалентность автоматов Мили и Мура
Для каждого автомата Мили может быть построен эквивалентный ему автомат Мура, и обратно {{---}} для каждого автомата Мура может быть построен эквивалентный ему автомат Мили.
|proof=
Опишем Для доказательства опишем алгоритмы взаимной трансформации моделей Мили и Мураи покажем эквивалентность получающихся автоматов. При этом в автоматах Мура будем пренебрегать выходным сигналом <tex>\lambda(a_{1})</tex>, связанным с начальным состоянием.
}}
173
правки

Навигация