Методы абстрактного синтеза
Обозначив оставшиеся состояния 0 – b0, 2 – b1, 4 – b2, 5 – b3, 7 – b4, 9 – b5, получим окончательную таблицу переходов заданного автомата.
|
Yg |
e |
e |
y3 |
e |
e |
e |
E |
y1 |
e |
y2 |
e |
|
xj\ai |
0 |
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
9 |
10 |
|
Xr |
0 |
1 |
0 |
3 |
4 |
5 |
6 |
0 |
8 |
0 |
10 |
|
X01 |
4 |
10 |
4 |
4 |
4 |
4 |
10 |
4 |
10 |
4 |
10 |
|
X10 |
5 |
10 |
5 |
5 |
5 |
5 |
10 |
5 |
10 |
5 |
10 |
|
Xs |
2 |
2 |
2 |
10 |
7 |
9 |
7 |
2 |
9 |
2 |
10 |
|
Yg |
e |
y3 |
e |
e |
y1 |
y2 |
|
xj\ai |
b0 |
b1 |
b2 |
b3 |
b4 |
b5 |
|
Xr |
b0 |
b0 |
b2 |
b3 |
b0 |
b0 |
|
x01 |
b2 |
b2 |
b2 |
b3 |
b2 |
b2 |
|
x10 |
b3 |
b3 |
b3 |
b3 |
b3 |
b3 |
|
Xs |
b1 |
b1 |
b4 |
b5 |
b1 |
b1 |
В некоторых случаях после получения отмеченной таблицы переходов автомата возможен четвертый этап минимизации. Правда этот этап не всегда приводит к уменьшению числа состояний и часто является проверенным. Алгоритм этого этапа рассмотрим на примере.
предыдущаяследующая