-
Проверка автомата Мили
Для проверки мы подаём на вход автомата Мили тестовую последовательность входных сигналов и сравниваем выходные сигналы автомата. Тест считается пройденным, если последовательность выходных сигналов автомата Мили совпадёт с последовательностью выходных сигналов теста автомата, созданного по заданной графической схеме.
|
Pi |
P4-P7 |
P0-P7 |
P1357 |
P0-P7 |
P4,P5 |
P0-P7 |
P1357 |
P0-P7 |
P0,P1 |
P1357 |
P0-P7 |
P2367 |
|
Si |
S0 |
S1 |
S2 |
S3 |
S4 |
S1 |
S2 |
S3 |
S4 |
S2 |
S3 |
S4 |
|
Wi |
W2 |
W3 |
W4 |
W2 |
W2 |
W3 |
W4 |
W2 |
W3 |
W4 |
W2 |
W3 |
|
Pi |
P0246 |
P0-P7 |
P0-P3 |
P0246 |
P4,P5 |
P0-P7 |
P0246 |
P0,P1 |
P0246 |
P1367 |
P1357 |
|
|
Si |
S6 |
S7 |
S0 |
S2 |
S5 |
S1 |
S2 |
S5 |
S2 |
S5 |
S6 |
S0 |
|
Wi |
W2 |
W0 |
W3 |
W1 |
W2 |
W3 |
W1 |
W3 |
W1 |
W3 |
W0 |
|
Тест сошёлся, значит этап не содержит ошибок.
-
Учёт взаимодействия управляющего и операционного автоматов
Перед началом работы автомата на его входы подаётся набор значений логических условий
X1X2X3 = 000. Для определения наборов значений логических условий надо последовательно и многократно просмотреть все пути в графе автомата до тех пор, пока для каждого состояния Si его множество входных наборов Ui не будет устойчивым. Схема просмотренных путей в графе приведена на рис.5:
U0
= {000}
Y3
000 01Z
010 Y1 000 U2
= {01Z} 011 Y1,Y3 00Z
U5
= {000} U3
= {00Z}
000 Y3 01Z
Y2
00Z 11Z
U2
= {01Z} U4
= {11Z}
11Z Y3 10Z
U6
= {10Z}
U7
= {110} 100 Y2 110 U0
= {010}
101 Y0 001
U0
= {001}
110 Y0 010
001 Y3 01Z
U2
= {01Z}
010 Y3 00Z
U2
= {00Z} 001 0ZZ Y1,Y3
000 Y1 000 U3
= {0ZZ}
0ZZ Y2 11Z
U5
= {000}
U4
= {11Z}
Рис. 5. Схема просмотренных путей в графе.
-
Минимизация частичного автомата Мили
U0 = {000}, {010}, {001} = {P0, P1, P2}
U1 = –
U2 = {000}, {001}, {010}, {011} = {P0, P1, P2, P3}
U3 = {000}, {001}, {010}, {011} = {P0, P1, P2, P3}
U4 = {110}, {111} = {P6, P7}
U5 = {000} = {P0}
U6 = {100}, {101} = {P4, P5}
U7 = {110} = {P6}
Т.к. U4~U5 (эквивалентны), то U4 = {U4} U {U5} = {P0, P6, P7}
Исключая в исходной таблице полностью определённого автомата Мили переходы по отсутствующим входным наборам, получаем таблицу частичного автомата Мили:
|
Pi Si |
P0 |
P1 |
P2 |
P3 |
P4 |
P5 |
P6 |
P7 |
|
S0 |
S2/W3 |
S2/W3 |
S2/W3 |
- |
- |
- |
- |
- |
|
S2 |
S5/W1 |
S3/W4 |
S5/W1 |
S3/W4 |
- |
- |
- |
- |
|
S3 |
S4/W2 |
S4/W2 |
S4/W2 |
S4/W2 |
- |
- |
- |
- |
|
S4 |
S2/W3 |
- |
- |
- |
- |
- |
S6/W3 |
S6/W3 |
|
S6 |
- |
- |
- |
- |
S7/W2 |
S0/W0 |
- |
- |
|
S7 |
- |
- |
- |
- |
- |
- |
S0/W0 |
- |
Граф частичного автомата Мили изображён на рис. 6.
P0
– P2/W3
P6/W0
P1,P3/W4
P5/W0
P0,P2/W1
P0/W3
P0-P3/W2 P6,P7/W3
P4
/W2
Рис. 6. Граф частичного автомата Мили.