Полное решение проблемы минимизации для одного множества бинарных двухленточных автоматов

В статье завершается решение проблемы минимизации для одного множества бинарных двухленточных автоматов. Начало решения было опубликовано в журнале “Дискретная математика” в 2008 г.
Проблема минимизации состоит в нахождении всех минимальных автоматов в каждом классе эквивалентности из рассматриваемого множества. Поиск осуществляется эквивалентными преобразованиями автоматов. Методика решения проблемы основана на подходящем разбиении класса эквивалентности.
Работа выполнена при поддержке Российского фонда фундаментальных исследований, проект 06–01–00106.