Выдержка из книги
Зайцев С.С.
Описание реализации протоколов сетей ЭВМ
Если она не выполняется, то возможна ситуация, при которой не найдется правила для выполнения. При обнаружении такого случая препроцессор выдает диагностику. Аналогично проверяется неоднозначность, которая заключается в том, что существует возможная комбинация значений предикатов, приводящая к возможности выполнения более одного перехода при данном входном событии.