Кодирование состояний ЦА с памятью

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

(a,b) и (c,d) - две пары двоичных кодов длины k

Развязаны: если в i-м разряде код принимает одно значение на паре (a,b) и противоположное - на паре (c,d)

Связаны: в остальных случаях

Теорема

В автомате, состояния которого закодированы двоичными кодами конечной длины, гонки отсутствуют тогда и только тогда, когда для любых двух переходов (Qm,Qs) и (Qk,Ql) , происходящих под действием одного и того же входного сигнала, соответствующие пары кодов состояний развязаны.

Для ассинхронного ЦА Qs = Ql не развязываются, в остальных случаях необходимо развязывать.