Устройство синхронизации информационных импульсов, поступающих в произвольные моменты времени, с ближайшим спадом тактового импульса

A0 = {q0, q1, q5}

A1 = {q2}

A2 = {q3}

A3 = {q4}

Таким образом, невозможно минимизировать память абстрактного автомата.

Выбор способа противогоночного кодирования

Существует ряд способов противогоночного кодирования, которые можно разбить на две группы:

1. Методы, позволяющие устранить все состязания. Используется “соседнее кодирование”, когда всем соседним внутренним состояниям приписывают соседние кодовые комбинации, отличающиеся значением только 1 разряда.

В случае использования таких методов уменьшается быстродействие, но зато устраняются все состязания.

2. Методы, устраняющие только критические состязания (состязания при которых в дальнейшей работе автомат не переходит из ошибочных состояний в состояние, предусмотренное алгоритмом функционирования)

Для упрощения схемы и увеличения быстродействия устраняем только критические состязания.

Противогоночное кодирование осуществляется путем развязывания пар переходов.

Две пары двоичных наборов длины “l” – (α,β) и (γ,δ) называются развязанными, если i-ый разряд кода принимает одно значение на паре (α,β) и другое на паре (γ,δ)

Противогоночное кодирование состояний автомата

Развязывание пар переходов в массиве М0

1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20	21	22	23