-
Поиск эквивалентных состояний
Составим таблицу переходов:
|
Pi Si |
P0 |
P1 |
P2 |
P3 |
P4 |
P5 |
P6 |
P7 |
|
S0 |
S2/W3 |
S2/W3 |
S2/W3 |
S2/W3 |
S1/W2 |
S1/W2 |
S1/W2 |
S1/W2 |
|
S1 |
S2/W3 |
S2/W3 |
S2/W3 |
S2/W3 |
S2/W3 |
S2/W3 |
S2/W3 |
S2/W3 |
|
S2 |
S5/W1 |
S3/W4 |
S5/W1 |
S3/W4 |
S5/W1 |
S3/W4 |
S5/W1 |
S3/W4 |
|
S3 |
S4/W2 |
S4/W2 |
S4/W2 |
S4/W2 |
S4/W2 |
S4/W2 |
S4/W2 |
S4/W2 |
|
S4 |
S2/W3 |
S2/W3 |
S6/W3 |
S6/W3 |
S1/W2 |
S1/W2 |
S6/W3 |
S6/W3 |
|
S5 |
S2/W3 |
S2/W3 |
S6/W3 |
S6/W3 |
S1/W2 |
S1/W2 |
S6/W3 |
S6/W3 |
|
S6 |
S7/W2 |
S0/W0 |
S7/W2 |
S0/W0 |
S7/W2 |
S0/W0 |
S7/W2 |
S0/W0 |
|
S7 |
S0/W0 |
S0/W0 |
S0/W0 |
S0/W0 |
S0/W0 |
S0/W0 |
S0/W0 |
S0/W0 |
Проверка эквивалентности:
|
S1 |
X |
|
|
|
|
|
|
|
S2 |
X |
X |
|
|
|
|
|
|
S3 |
X |
X |
X |
|
|
|
|
|
S4 |
X |
X |
X |
X |
|
|
|
|
S5 |
X |
X |
X |
X |
V |
|
|
|
S6 |
X |
X |
X |
X |
X |
X |
|
|
S7 |
X |
X |
X |
X |
X |
X |
X |
|
|
S0 |
S1 |
S2 |
S3 |
S4 |
S5 |
S6 |
S4~S5 – состояния S4 и S5 эквивалентны, поэтому эти состояния можно объединить:
-
Объединение эквивалентных состояний
|
Pi Si |
P0 |
P1 |
P2 |
P3 |
P4 |
P5 |
P6 |
P7 |
|
S0 |
S2/W3 |
S2/W3 |
S2/W3 |
S2/W3 |
S1/W2 |
S1/W2 |
S1/W2 |
S1/W2 |
|
S1 |
S2/W3 |
S2/W3 |
S2/W3 |
S2/W3 |
S2/W3 |
S2/W3 |
S2/W3 |
S2/W3 |
|
S2 |
S4/W1 |
S3/W4 |
S4/W1 |
S3/W4 |
S4/W1 |
S3/W4 |
S4/W1 |
S3/W4 |
|
S3 |
S4/W2 |
S4/W2 |
S4/W2 |
S4/W2 |
S4/W2 |
S4/W2 |
S4/W2 |
S4/W2 |
|
S4 |
S2/W3 |
S2/W3 |
S6/W3 |
S6/W3 |
S1/W2 |
S1/W2 |
S6/W3 |
S6/W3 |
|
S6 |
S7/W2 |
S0/W0 |
S7/W2 |
S0/W0 |
S7/W2 |
S0/W0 |
S7/W2 |
S0/W0 |
|
S7 |
S0/W0 |
S0/W0 |
S0/W0 |
S0/W0 |
S0/W0 |
S0/W0 |
S0/W0 |
S0/W0 |
После объединения этих эквивалентных состояний получаем автомат Мили, изображенный на рис. 4.
P4
– P7/W2 P0
– P7/W3
P0
– P3/W3 P0
– P7/W0
P1,P3,P5,P7/W4
P0,P2, P4,P6/W1
P1,P3,P5,P7/W0
P0,
P1/W3 P4,
P5/W2
P0
– P7/W2 P2,P3,P6,P7/W3
P0,P2,P4,P6/W2
Рис. 3. Граф автомата Мили с убранной эквивалентной вершиной.