2.1.5. Граф автомата Мура
2.1.6. Таблица переходов
w |
s |
p |
|||||||
0 |
1 |
2 |
3 |
4 |
5 |
6 |
7 |
||
0 |
0 |
s1 |
s1 |
s1 |
s1 |
s1 |
s1 |
s1 |
s1 |
1 |
1 |
s2 |
s2 |
s6 |
s6 |
s1 |
s1 |
s1 |
s1 |
2 |
2 |
s4 |
s3 |
s5 |
s3 |
s4 |
s3 |
s6 |
s3 |
3 |
3 |
s4 |
s3 |
s5 |
s3 |
s4 |
s3 |
s6 |
s3 |
3 |
4 |
s5 |
s5 |
s5 |
s5 |
s6 |
s6 |
s6 |
s6 |
4 |
5 |
s4 |
s3 |
s4 |
s3 |
s4 |
s3 |
s6 |
s3 |
4 |
6 |
s0 |
s0 |
s7 |
s7 |
s0 |
s0 |
s7 |
s7 |
4 |
7 |
s0 |
s0 |
s7 |
s7 |
s0 |
s0 |
s7 |
s7 |
2.1.7. Тест
|
|
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 |
|
вх |
|
04 |
0..3 |
2 |
1357 |
6 |
0145 |
0..7 |
01 |
2 |
04 |
4..7 |
0145 |
0..7 |
01 |
|
вых |
|
w3 |
w4 |
w4 |
w3 |
w4 |
w0 |
w1 |
w2 |
w4 |
w3 |
w4 |
w0 |
w1 |
s2 |
|
вх |
|
04 |
0..3 |
1357 |
2 |
6 |
0145 |
|
|
|
|
|
|
|
|
|
вых |
|
w3 |
w4 |
w3 |
w4 |
w4 |
y0 |
|
|
|
|
|
|
|
|
-
Граф автомата Мили
-
Получение автомата Мили по автомату Мура
-
-
Таблица переходов автомата Мили
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 |
s6/w4 |
s6/w4 |
s1/w1 |
s1/w1 |
s1/w1 |
s1/w1 |
2 |
s4/w3 |
s3/w3 |
s5/w4 |
s3/w3 |
s4/w3 |
s3/w3 |
s6/w4 |
s3/w3 |
3 |
s4/w3 |
s3/w3 |
s5/w4 |
s3/w3 |
s4/w3 |
s3/w3 |
s6/w4 |
s3/w3 |
4 |
s5/w4 |
s5/w4 |
s5/w4 |
s5/w4 |
s6/w4 |
s6/w4 |
s6/w4 |
s6/w4 |
5 |
s4/w3 |
s3/w3 |
s4/w3 |
s3/w3 |
s4/w3 |
s3/w3 |
s6/w4 |
s3/w3 |
6 |
s0/w0 |
s0/w0 |
s7/w4 |
s7/w4 |
s0/w0 |
s0/w0 |
s7/w4 |
s7/w4 |
7 |
s0/w0 |
s0/w0 |
s7/w4 |
s7/w4 |
s0/w0 |
s0/w0 |
s7/w4 |
s7/w4 |
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 |
Классы эквивалентности:
Переименуем состояния: