Рассматривается задача минимизации конечных автоматов типа Мили, которая часто встречается при синтезе цифровых устройств на программируемых логических интегральных схемах. Особенностью предлагаемого подхода является использование операции склеивания двух состояний, а также представление конечного автомата в виде списка переходов. Описаны случаи образования состояний ожидания в результате склеивания двух состояний. Представлены алгоритмы минимизации числа внутренних состояний, числа переходов и входных переменных конечных автоматов типа Мили. Результаты экспериментальных исследований показали, что использование предлагаемого метода при реализации конечных автоматов на программируемых логических интегральных схемах позволяет уменьшить стоимость реализации в среднем в 1.31 раза, а в наилучшем случае – в 3 раза. В заключение указываются актуальные направления дальнейших исследований методов минимизации конечных автоматов.
