Пример 5

Рассмотрим преобразование автомата Мили в автомат Мура (рис. 5.12). Где X = {X₁,X₂}; Y={Y₁,Y₂,Y₃,Y₄}.

Рис. 5.12. Исходный автомат Мили

Рис. 5.13. Полученный автомат Мура

Определим реакцию обоих автоматов, находящихся в своих начальных состояниях, на входную последовательность X1 X2 X1 X1 X2 X2 X2 X1.

Реакция автомата Мили:

X₁ X₂ X₁ X₁ X₂ X₂ X₂ X₁

S₀ S₀ S₁ S₂ S₁ S₂ S₃ S₀ S₀

w1 = Y₁ Y₂ Y₁ Y₃ Y₄ Y₂ Y₁ Y₁

Реакция автомата Мура:

X₁ X₂ X₁ X₁ X₂ X₂ X₂ X₁

S₀ S₀ S₁¹ S₂¹ S₁² S₂² S₃ S₀ S₀

w2 = Y₁ Y₁ Y₂ Y₁ Y₃ Y₄ Y₂ Y₁ Y₁

Как видно из примера, реакции автоматов совпадают w1=w2 и выходная последовательность автомата Мура на один такт отстает от выходной последовательности автомата Мили.

Изложенные методы взаимной транспозиции моделей Мили и Мура показывают, что при переходе от автомата Мура к автомату Мили число состояний автоматов не меняется, тогда как при обратном переходе число состояний автомата Мура, как правило, возрастает.

Дата добавления: 2014-01-05