С помощью Т-алгоритма ищется минимальное покрывающее для частичного автомата.
- Строим таблицу Шоломова.
- Выписываем все состояния автомата в порядке возрастания.
- Вычеркиваем все состояния несовместимые с первым. Выбираем следующее невычеркнутое состояние. Зачеркиваем все состояния несовместимые с ним. И так далее.
- Из вычеркнутых состояний составляем список по порядку возрастания и выполняем пункт 3.
- Выверяем полученную группировку на замкнутость. При необходимости расширяем группу совместимых или добавляем новые.
