Основы синтеза и диагностирования автоматов. Воронин В.В. - 216 стр.

UptoLike

Составители:

Рубрика:

212

чем одна внутренняя переменная должна изменить своё значение при

данном переходе. Значения этих переменных задаются состояниями

различных выходных полюсов комбинированной схемы, и в силу

рассмотренных выше обстоятельств переменные меняют свои значе-

ния не одновременно, причём нельзя предсказать, какая из них сде-

лает это раньше. В результате автомат может перейти не в

намечен-

ное состояние s

, а в другое, отличное от него состояние s

, т.е. бу-

дет реализован переход, не предусмотренный в таблице переходов.

Новое состояние s

может оказаться неустойчивым, и возникает не-

которая цепочка переходов, ведущая, как правило, в некоторое ус-

тойчивое состояние s

Описанное явление называется состязаниями элементов памяти.

Принято называть состязания неопасными, если все цепочки непре-

дусмотренных переходов ведут из внутреннего состояния s

при

входном состоянии x

в состояние s

, соответствующее значению

элемента

). Когда же достигаемое состояние s

может оказаться

отличным от s

, состязания называются опасными.