Рассматривается задача минимизации конечных автоматов типа Мура, которая часто встречается при синтезе цифровых устройств на программируемых логических интегральных схемах. Особенностью предлагаемого подхода является использование операции склеивания двух состояний, а также представление конечного автомата в виде списка переходов. Приведены условия идентичности функционирования и детерминированности поведения конечного автомата в результате склеивания двух состояний, а также случаи образования состояний ожидания. Представлены алгоритмы минимизации числа внутренних состояний, путей перехода и входных переменных конечных автоматов типа Мура. Результаты экспериментальных исследований показали, что предлагаемый подход позволяет уменьшить число внутренних состояний в среднем на 6%, в отдельных случаях – в 1.86 раза, а также уменьшить число переходов в среднем на 20%, в отдельных случаях – в 2.83 раза. Совместное использование предложенного метода с программой STAMINA дает возможность уменьшить число внутренних состояний в среднем на 16%, в отдельных случаях – в 2.17 раза, а также уменьшить число переходов в среднем на 41%, в отдельных случаях – в 7.97 раза. В заключение указываются актуальные направления дальнейших исследований методов минимизации конечных автоматов.
