Кодирование состояний автомата для минимизации комбинационной схемы

Анализ канонического метода синтеза автомата показывает, что различные варианты кодирования состояний автомата приводят к различным вариантам формирования выражения для функции возбуждения элементов памяти и функции выхода. В результате оказывается, что сложность комбинационной схемы автомата существенно зависит от выбранного кодирования.

D-триггер:

Закодируем состояния

а1=>00, а2=>01, а3=>11.

z1=>00, z2=>01, z3=>10.

Получим отмеченную таблицу переходов структурного автомата:

Возьмём другое кодирование:

а1=>01, а2=>10, а3=>00.

При кодировании состояний автомата используются алгоритмы, позволяющие упростить функцию возбуждения элементов памяти, если при синтезе автомата в качестве элементарных автоматов памяти используются D-триггеры.