Строим таблицу П4:
|
D1 |
D2 |
D3 |
D4 |
D5 |
D6 |
D7 |
D8 |
D9 |
D10 |
D11 |
D12 |
D13 |
D14 |
D15 |
|||
|
Z1 |
Z16 |
Z15 |
Z4 |
Z2 |
Z5 |
Z7 |
Z3 |
Z6 |
Z8 |
Z12 |
Z9 |
Z10 |
Z14 |
Z11 |
Z13 |
||
|
X1 |
D1 |
D1 |
D2 |
D2 |
D4 |
D6 |
D5 |
D5 |
D7 |
D9 |
D9 |
D14 |
D10 |
D10 |
D13 |
D14 |
|
|
X2 |
D3 |
D3 |
D1 |
D1 |
D5 |
D4 |
D8 |
D8 |
D3 |
D11 |
D11 |
D12 |
D11 |
D15 |
D15 |
D12 |
|
|
X3 |
D2 |
D2 |
D3 |
D10 |
D7 |
D8 |
D7 |
D4 |
D8 |
D14 |
D10 |
D9 |
D14 |
D14 |
D12 |
D10 |
|
|
1 |
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
9 |
10 |
11 |
12 |
13 |
14 |
15 |
||
По разбиению П4 можно заметить, что оно полностью идентично разбиению П3, следовательно алгоритм минимизации необходимо прекратить. Из таблицы П4 видно, что вершины Z1 и Z16 принадлежат к одному классу, т.е. они имеют одинаковые переходы и значения выходной функции, значит целесообразнее всего одно из этих состоянии исключить из таблицы переходов. Исключим состояние Z16 и таблица переходов и выходов примет вид:
( d / l )
|
Z1 |
Z2 |
Z3 |
Z4 |
Z5 |
Z6 |
Z7 |
Z8 |
Z9 |
Z10 |
Z11 |
Z12 |
Z13 |
Z14 |
Z15 |
|
|
X1 |
Z1 Y3 |
Z2 Y2 |
Z5 Y1 |
Z15 Y3 |
Z7 Y2 |
Z3 Y1 |
Z5 Y2 |
Z8 Y1 |
Z11 Y2 |
Z12 Y2 |
Z14 Y1 |
Z8 Y1 |
Z11 Y2 |
Z12 Y2 |
Z15 Y3 |
|
X2 |
Z4 Y1 |
Z5 Y2 |
Z6 Y3 |
Z1 Y1 |
Z2 Y2 |
Z4 Y2 |
Z6 Y2 |
Z9 Y1 |
Z10 Y2 |
Z9 Y2 |
Z13 Y1 |
Z9 Y1 |
Z10 Y2 |
Z13 Y2 |
Z1 Y1 |
|
X3 |
Z15 Y1 |
Z3 Y3 |
Z2 Y1 |
Z12 Y1 |
Z6 Y3 |
Z6 Y1 |
Z3 Y3 |
z11 Y2 |
Z8 Y1 |
Z11 Y3 |
z10 Y1 |
Z12 Y2 |
z12 Y2 |
Z11 Y1 |
Z4 Y1 |
Анализ автомата.
Граф минимизированного автомата:
Автоматная матрица.
По минимизированной таблице переходов и выходов составим автоматную матрицу:
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.