Найти минимальный автомат, эквивалентный данному
0
1
1
6,0
9,1
2
2,0
4,1
3
6,0
5,1
4
2,1
6,1
5
7,0
9,1
6
4,1
2,0
7
4,1
8,0
8
5,0
4,1
9
7,0
3,1
Решение
Шаг 1. Разбиваем множество состояний на 3 класса по выходным символам: (1,2,3,5,8,9), (4), (6,7)
Шаг 2. Рассмотрим переходы в новые состояния для класса 1,2,3,5,8,9 при входном символе 0
1,2,3,5,8,906,2,6,7,5,7
Состояния 2 и 5 принадлежат одному классу, а состояния 6 и 7 – другому. Следовательно, делаем разбиение класса 1,2,3,5,8,9 на два новых: (1,3,5,9) и (2,8)
Шаг 3. Рассмотрим переходы в новые состояния для класса 1,3,5,9 при входном символе 1
1,3,5,919,5,9,3
Так как состояния 3,5,9 находятся в одном классе, то нового разбиения на этом шаге не получим
Шаг 4
. Рассмотрим переходы в новые состояния для класса 2,8 при входном символе 1
2,814,4
Нового разбиения на этом шаге не получим.
Шаг 5. Рассмотрим переходы в новые состояния для класса 2,8 при входном символе 0
2,802,5
Состояние 2 принадлежат одному классу, а состояние 5 – другому. Следовательно, делаем разбиение класса 2,8 на два новых: (2) и (8)
Шаг 6. Рассмотрим переходы в новые состояния для класса 6,7 при входном символе 0
6,704,4
Нового разбиения на этом шаге не получим.
Шаг 7