Найти минимальный автомат, эквивалентный данному.

Построим минимальный автомат для автомата, заданного следующей таблицей переходов.

Шаг 1.

Разбиваем множество состояний на два класса по выходным символам: 1, 3, 5, 6 и 2, 4.

Шаг 2.

Рассмотрим переходы в новые состояния для класса 1, 3, 5, 6 при входном символе 0: 0 1,3,5,6 3,5,5,2. Состояния 3 и 5 принадлежат одному классу, а состояние 2 другому. Следовательно, делаем разбиение класса 1, ...