Универсальный способ кодирования (для синхронного автомата).

При данном способе кодирования используется унитарный код (1 из N), который содержит 1 единицу, а остальные 0 . В этом случае число разрядов совпадает с числом состояний автомата. В данном способе кодирования число разрядов максимально возможно, большее число разрядов бессмыслимо, следовательно это приводит к большему числу триггеров. С другой стороны может значительно упроститься комбинационный узел формирующий функции возбуждения и его функционирование можно описать прямо по графу без минимизации булевых функций.

Для Dтриггера:

D₂=q₁⌐q₂q₃⌐x₁– любой код

D₂=q₁⌐x₁ - унитарный код

Для унитарного кода опущены ⌐q₂⌐q₃, так как еслиq₁= 1, то это однозначно подразумеваетq₂=q₃= 0. Более тогоq₁= 1 невозможно ни для одного из оставшихся состояний автомата.

Пример:

01 01

D₁= q₅x v q₃x

51 31

01

D₂= q₁⌐x

12

01 01 01

D₃ = q₁x v q₂x v q₄x

13 23 43

01 11

D₄ = q₂⌐x v q₄⌐x

24 24

01

D₅=q₃⌐x

35

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

R= 1 , когда 10 обязательно

R= 1 , когда 00 можно

S= 1 , когда 01 обязательно

S= 1 , когда 11 возможно

Для RSтриггера сначала записываются функции обязательные, а там где возможно чтобы функция была равна 1 дописывают лишь в случае упрощения.

RS

*0

0 0

01

0  1

10

1  0

0*

1  1

10 10

R₁ = q₁⌐X v q₁X = q₁

12 13

01 01

S₁ = q₅X v q₃X = X(q₁ v q₃)

51 31

В функции R_{1 ,} S₁входит обязательная конъюнкция, обеспечивающая переход 10 дляR₁и 01 дляS₁. ВR₁можно добавить конъюнкции переходов из 00, т.к. при этомR=* и может быть доопределено до 1. УпроститьR=q- можно добавить только ⌐q₁, однако при унитарном кодировании инверсное значение ⌐qне используется, а следовательно переходы 00 добавленные вR₁только усложнят функцию.

Аналогично для S₁можно добавить конъюнкции соответствующие переходу 11, такой переход возможен, только если присутствует петля вокругS₁, в примере ее нет, значит получим окончательное значениеR₁S_1.

10 10

R₂ = q₂⌐X v q₂X = q₂

24 23

01

S₂ = q₁⌐X

12

10

R₃ = q₃

31

35

01 01 01

S₃ = q₁X v q₂X v q₄X = X(q_{1 v} q₂ v q₄)

13 23 43

10

R₄ = q₄X

43

01 11

S₄ = q₂⌐X v q_4⌐X = q₂

24 44

R₅ = q₅X

S₅ = q3⌐X