Рассмотрен эвристический метод минимизации конечных автоматов типа Мили с неопределенными значениями выходных переменных, основанный на использовании операции склеивания двух состояний. Приведены необходимые и достаточные условия возможности склеивания двух состояний, а также образования состояний ожидания. Представлены алгоритмы нахождения множества пар состояний, допускающих склеивание, выбора наилучшей пары, склеивания двух состояний, а также минимизации числа переходов и входных переменных конечного автомата. Предложенный метод позволяет сократить число внутренних состояний конечных автоматов в среднем в 1.22 раза, а в отдельных случаях – в 2.75 раза. Среднее сокращение числа переходов конечного состояния составляет 1.32 раза, а в отдельных случаях – 2.27 раза. Сравнение предложенного подхода с известной программой STAMINA показывает, что рассматриваемый метод не уменьшает число состояний конечных автоматов, однако позволяет существенно сократить число переходов, в среднем в 1.55 раза, а в отдельных случаях – в 3.92 раза.
