Page 113 - 4128

(-)
a
x 1 1
y 1 y 2
y 1 y 2 y 2 x 4
x 1 y 2 y 4
x 3 x 2 a 6
a 2 y y 2
1
x 4
x x 2
3
1
a 3 1 a 5
y y 4 y 3 y 4
1
x 2
a 4
x 2

Рисунок 6.2 - Граф автомата Мілі
На цьому графі переходам типу а3 a4, a5  a1
приписується умова переходу 1, оскільки ці переходи є
безумовними і виконуються завжди, коли автомат потрапляє в
стан а3 (або а5). На підставі відміченої ГСА або графа автомата
можна побудувати таблицю переходів-виходів. Для
мікропрограмних автоматів таблиця переходів-виходів будується
у вигляді списку і розрізняються пряма і зворотна таблиці. Для
даного автомата пряма таблиця представлена в табл. 6.1.,
зворотна - в табл. 6.2.

Таблиця 6.1 - Пряма таблиця переходів

am as X У
a1 a2 x1 y1y2
a4 x1 y3y4
a2 a2 x3x2 y1y2

a5 x3 y2y3
a6 x3x2 y4

112