173
правки
Изменения
Нет описания правки
}}
[[File:aa_work.png|300px|thumb|right|Рис. 1. Работа АА]]
Выходные сигналы АА зависят от того, что поступало на его вход раньше.
=== Графический способ задания автомата Мура ===
[[File:aa_moor_ex1.png|300px|thumb|right|Рис. 3. Графическое задание автомата Мура]]
На рисунке (рис. 3) приведен граф автомата Мура на 5 состояний, имеющий 2 входных сигнала и 2 выходных сигнала.
== Реакция автоматов на входное слово ==
=== Автомат Мили ===
[[File:aa_mili_ex2.png|300px|thumb|right|Рис. 4. Реакция автомата Мили на входное слово]]
Допустим, входное слово <tex>\xi</tex> поступает на вход автомата буква за буквой.
Выходное слово <tex>\omega</tex> называется реакцией автомата Мили на входное слово <tex>\xi</tex> в состоянии <tex>a_{1}</tex> (рис. 4; строится по таблице переходов и выходов).
Реакцию автомата на входное слово <tex>\xi</tex> можно заменить обходом графа.
=== Автомат Мура ===
[[File:aa_moor_ex2.png|300px|thumb|right|Рис. 5. Реакция автомата Мура на входное слово]]
Выходное слово <tex>\omega</tex> называется реакцией автомата Мура на входное слово <tex>\xi</tex> в состоянии <tex>a_{1}</tex>(рис. 5).
В рассматриваемом примере для автоматов Мили и Мура реакции автоматов на одинаковое входное слово совпадают, но они сдвинуты на один такт. Автоматы Мили и Мура дающие одинаковые реакции на одинаковые входные слова называются эквивалентными. Данное замечание приводит к задаче построения эквивалентных автоматов, дающих одинаковые реакции на одинаковые входные слова.
Шестикомпонентным набором с индексом А будем обозначать автомат Мура, а с индексом В - автомат Мили.
Пусть задан автомат Мура(рис. 6).
[[File:aa_moor_ex3.png|300px|thumb|right|Данный автомат Рис.6 Автомат Мура]]
Требуется перейти к автомату Мили <tex>S_{B} = (A_{B}, Z_{B}, W_{B}, \delta _{B}, \lambda _{B}, a_{1B}</tex>), у которого <tex>Z_{A} = Z_{B}</tex>, <tex>W_{A} = W_{B}</tex>, т.е. входные и выходные алфавиты совпадают.
