Реферат: Синтезирование управляющего автомата
Автомат Мили.
1.Разметка ГСА.
Разметка производится для выявления числа состояний автомата.
 |
Начало
Y2
Y2 ,Y3
1
X1
0
1 Y4
X2
0
1
Y1 ,T Y2 ,Y3 ,Y4 X3
0
0
X5 Y4 ,Y6
1
Y6 ,T
T Y3
0
1 X6
X1 1 1
0 X4
1 0
X3 Y2 ,Y3
0
1
Y5 Y6 X2
0
Конец
2.Граф автомата.
 |
Y1 T X5
X1 X2 Y1 T X5 T
A3 A4 A11
X1 Y2 Y3 X1 X4
X1 X3 X1 X4