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

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

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

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

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

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

Динамика распространения сотовой связи в России
Сотовая связь, наряду с другими видами связи, является ярким образцом инфраструктурной отрасли и обладает всеми ее характерными свойствами. Особенно велика объединяющая роль связи, которая проявляется как в отраслевом, так и в территориальном ас ...

Имитационное и аналитическое моделирование преобразователя частоты
Преобразователь частоты применяется, главным образом, в супергетеродинных радиоприёмниках, а также в различных радиоизмерительных приборах - селективных вольтметрах, анализаторах спектра, модулометрах и девиометрах, установках для измерения ...