Теория автоматов. Минимизация

[Шпилька]

День добрый, в курсовом проекте в одном из заданий стоит пункт "Минимизировать автомат". Если несложно кто-нибудь может объяснить как это делается, перерыла уже кучу ссылок и документов, до меня не доходит. Их нужно минимизировать с помощью диаграмм Вейча либо с помощью разбиений состояний на эквивалентные с последующей заменой?

Исходные данные во вложении.
Буду признательна любой помощи.

[Abstraction]

Для такого маленького примера можно обойтись вовсе без специального алгоритма.
1) Есть пять множеств состояний, неразличимых за один шаг (т.е. пять разных строк выходных сигналов): [0], [1,4], [2,7], [3,5], [6].
2) [1,4] символом a1 переводится в множество [1,6], различимое за один шаг. Вычёркиваем.
3) [2,7] символом a1 переводится в [1,4], далее см. выше. Вычёркиваем.
4) [3,5] символом a1 переводится в [1,4]. Вычёркиваем.
Всё, упростить нельзя. Прямая проверка показывает, что наш автомат на последовательность a1,a1,a1,a3 может дать восемь разных откликов, чего нельзя добиться менее чем восемью состояниями.

[Шпилька]

Ух ты, похоже я совсем дремучая. Это что в итоге получается. что останется только два состояния: 0 и 6, с тремя входными буквами? Или я чего-то недопонимаю.....

[Шпилька]

Сообщение от Abstraction

Для такого маленького примера можно обойтись вовсе без специального алгоритма.
1) Есть пять множеств состояний, неразличимых за один шаг (т.е. пять разных строк выходных сигналов): [0], [1,4], [2,7], [3,5], [6].
2) [1,4] символом a1 переводится в множество [1,6], различимое за один шаг. Вычёркиваем.
3) [2,7] символом a1 переводится в [1,4], далее см. выше. Вычёркиваем.
4) [3,5] символом a1 переводится в [1,4]. Вычёркиваем.
Всё, упростить нельзя. Прямая проверка показывает, что наш автомат на последовательность a1,a1,a1,a3 может дать восемь разных откликов, чего нельзя добиться менее чем восемью состояниями.

Это что в итоге получается. что останется только два состояния: 0 и 6, с тремя входными буквами? Или я чего-то недопонимаю....