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

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

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

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

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

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

Система сигнализации ОКС-7
Система сигнализации № 7 - это универсальная многофункциональная система межстанционной сигнализации, ориентированная на поддержку практически всех уже известных, а также будущих услуг связи. Ее огромный потенциал объясняется блочной функционал ...

Антенны и устройства СВЧ
Линзовой антенной называют совокупность электромагнитной линзы и облучателя. Линза представляет собой радиопрозрачное тело с определенной формой поверхности, имеющее коэффициент преломления, отличный от единицы. Назначение линзы состоит в том, ...