ЗАДАНИЕ 1. Минимизировать ДКА Мили, заданный совмещенной таблицей
выходов и переходов. Построить эквивалентный автомат другого рода.
Провести проверку в JFLAP.
Вариант 19.
A/Q
a
b
1
1, x
2, x
2
3, x
9, x
3
2, x
6, x
4
6, x
5, y
5
5, x
6, x
Выполним разбиение p0:
B1= {1, 2, 3, 5, 7}
B2= {4, 8}
B3= {6, 9}
Построим таблицу разбиения:
B1
1
2
3
5
7
a
B1
B1
B1
B1
B1
b
B1
B3
B3
B3
B1
B2
4
8
a
B3
B3
b
B1
B1
B3
6
9
a
B2
B2
b
B1
B1
Выполним разбиение p1= {C1, C2, C3, C4}:
C1= {1, 7}
C2= {2, 3, 5}
C3= {4, 8}
C4= {6, 9}
6
4, y
5, x
7
7, x
5, x
8
9, x
3, y
9
8, y
3, x
C1
1
7
a
C1
C1
b
C2
C2
C2
2
3
5
a
C2
C2
C2
b
C3
C3
C3
C3
4
8
a
C4
C4
b
C2
C2
C4
6
9
a
C3
C3
b
C2
C2
Выполним разбиение p2= {D1, D2, D3, D4}:
D1= {1, 7}
D2= {2, 3, 5}
D3= {4, 8}
D4= {6, 9}
D1
1
7
a
D1
D1
b
D2
D2
D2
2
3
5
a
D2
D2
D2
b
D3
D3
D3
D3
4
8
a
D4
D4
b
D2
D2
D4
6
9
a
D3
D3
b
D2
D2
Разбиение p2 повторяет разбиение p1 - процедура разбиения завершена.
Проверка в JFLAP.