2.2.3. Минимизация автомата
s1 |
x |
|
|
|
|
|
|
s2 |
x |
x |
|
|
|
|
|
s3 |
x |
x |
== |
|
|
|
|
s4 |
x |
x |
x |
x |
|
|
|
s5 |
x |
x |
====== |
x |
|
|
|
s6 |
x |
x |
x |
x |
x |
x |
|
s7 |
x |
x |
x |
x |
x |
x |
== |
|
s0 |
s1 |
s2 |
s3 |
s4 |
s5 |
s6 |
Классы эквивалентности:
Переименуем состояния:
2.2.4. Таблица переходов после минимизации:
s |
p |
|||||||
0 |
1 |
2 |
3 |
4 |
5 |
6 |
7 |
|
0 |
s1/w1 |
s1/w1 |
s1/w1 |
s1/w1 |
s1/w1 |
s1/w1 |
s1/w1 |
s1/w1 |
1 |
s2/w2 |
s2/w2 |
s4/w4 |
s4/w4 |
s1/w1 |
s1/w1 |
s1/w1 |
s1/w1 |
2 |
s3/w3 |
s2/w3 |
s2/w4 |
s2/w3 |
s3/w3 |
s2/w3 |
s4/w4 |
s2/w3 |
3 |
s2/w4 |
s2/w4 |
s2/w4 |
s2/w4 |
s4/w4 |
s4/w4 |
s4/w4 |
s4/w4 |
4 |
s0/w0 |
s0/w0 |
s4/w4 |
s4/w4 |
s0/w0 |
s0/w0 |
s4/w4 |
s4/w4 |
-
Граф минимизированного автомата Мили:
-
Тест автомата:
|
|
0 |
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
9 |
10 |
11 |
12 |
13 |
вх |
p |
0..7 |
4..7 |
23 |
2367 |
2367 |
0145 |
0..7 |
01 |
6 |
0145 |
0..7 |
01 |
1357 |
1357 |
вых |
w |
w1 |
w1 |
w4 |
w4 |
w4 |
w0 |
w1 |
w2 |
w4 |
w0 |
w1 |
w2 |
w3 |
w3 |
вх |
p |
04 |
0..3 |
2 |
1357 |
6 |
0145 |
0..7 |
01 |
2 |
04 |
4..7 |
0145 |
0..7 |
01 |
вых |
w |
w3 |
w4 |
w4 |
w3 |
w4 |
w0 |
w1 |
w2 |
w4 |
w3 |
w4 |
w0 |
w1 |
s2 |
вх |
p |
04 |
0..3 |
1357 |
2 |
6 |
0145 |
|
|
|
|
|
|
|
|
вых |
w |
w3 |
w4 |
w3 |
w4 |
w4 |
y0 |
|
|
|
|
|
|
|
|
2.2.7. Дерево
-
Таблица с исключенными недостижимыми переходами:
s |
p |
|||||||
0 |
1 |
2 |
3 |
4 |
5 |
6 |
7 |
|
0 |
s1/w1 |
--- |
s1/w1 |
--- |
--- |
--- |
--- |
--- |
1 |
s2/w2 |
s2/w2 |
--- |
--- |
s1/w1 |
s1/w1 |
--- |
--- |
2 |
s3/w3 |
s2/w3 |
s2/w4 |
s2/w3 |
s3/w3 |
s2/w3 |
s4/w4 |
s2/w3 |
3 |
--- |
s2/w4 |
--- |
--- |
--- |
s4/w4 |
--- |
--- |
4 |
--- |
--- |
--- |
--- |
--- |
s0/w0 |
--- |
s4/w4 |
2.2.8. Граф с исключенными недостижимыми переходами