logo
Methodics_1

3.6.3 Минимизация микропрограммных автоматов

Изложенный ранее метод минимизации абстрактных автоматов применяется и для минимизации полностью определённых микропрограммных автоматов.

Если два состояния автоматы Мили совместимы, то под действием одинаковых входных сигналов они выдают одинаковые выходные сигналы. По этой причине для выявления совместимых состояний микропрограммного автомата Мили необходимо сравнить множество микрокоманд, выдаваемых на переходах из этих состояний.

Для минимизации микропрограммного автомата Мура необходимо предварительно найти разбиение состояний на классы 0 - совместимости. В каждый такой класс попадут состояния, отмеченные одинаковой микрокомандой.

Далее процесс минимизации микропрограммного автомата полностью совпадает с процессом минимизации абстрактных автоматов Мили и Мура.

Таким образом, методы минимизации микропрограммных и абстрактных автоматов очень близки. Разница заключается в том, что вместо сравнения абстрактных входных/выходных сигналов сравниваются конкретные булевы функции, соответствующие выходным сигналам микропрограммных автоматов.