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