Установочные последовательности

В первой фазе диагностического эксперимента с автоматом предусматривается установка его в известное начальное состояние. Это достигается использованием установочных или синхронизирующих последовательностей [14, 10]. Методы построения условных и безусловных установочных экспериментов, а также синтез установочных синхронизирующих последовательностей достаточно полно и глубоко изложен в [10]. В этом разделе получена оценка сложности безусловного установочного эксперимента.

Определение 3.5 Входная последовательность Xu называется установочной для автомата (X, Y, Z, d, l), если его конечное состояние d (Zi,Xu) может быть однозначно определено по выходной последовательности l (Zi, Xu) для всех Zi Z.

В соответствии с определением 3.5 если автомат исправен и имеет установочную последовательность, то независимо от начального состояния его можно перевести в определенное состояние. Как показано в [15] любой минимальный автомат имеет установочную последовательность. Правила усечения дерева преемников автомата, приведенные в [10], позволяют построить установочное дерево по его таблице переходов-выходов, из которого определяется множество установочных последовательностей автомата.

Следует отметить, что каждая отличительная последовательность является установочной, в то время как обратное неверно.

Прочитайте еще и эти статьи:

Широкополосный усилитель
Современная электроника предъявляет высокие требования к качественным показателям усилительных устройств. Несмотря на существующее многообразие типов ИМС, рассматриваемых как активные усилительные элементы, использование транзисторов во многих ...

Технология ремонта стабилизатора напряжения ультразвукового дефектоскопа
Рост эффективности общественного производства, повышение качества продукции, научные достижения сегодня становятся практически невозможными без широкого применения электронной аппаратуры. Практически во всех областях знаний, прогресс не мыслим б ...