173
правки
Изменения
→Реакция автоматов на входное слово
== Реакция автоматов на входное слово ==
=== Автомат Мили ===
Допустим, входное слово <tex>\xi</tex> поступает на вход автомата буква за буквой.
Выходное слово <tex>\omega</tex> называется реакцией автомата Мили на входное слово <tex>\xi</tex> в состоянии <tex>a_{1}</tex> (строится по таблице переходов и выходов).
Реакцию автомата на входное слово <tex>\xi</tex> можно заменить обходом графа.
=== Автомат Мура ===
Выходное слово <tex>\omega</tex> называется реакцией автомата Мура на входное слово <tex>\xi</tex> в состоянии <tex>a_{1}</tex>.
В рассматриваемом примере для автоматов Мили и Мура реакции автоматов на одинаковое входное слово совпадают, но они сдвинуты на один такт. Автоматы Мили и Мура дающие одинаковые реакции на одинаковые входные слова называются эквивалентными. Данное замечание приводит к задаче построения эквивалентных автоматов, дающих одинаковые реакции на одинаковые входные слова.
