Каждому обобщенному состоянию (ОС) линейного автомата соответствует

Восстановление неизвестной входной последовательности по известному начальному состоянию автомата и наблюдаемой реакции в случае ЛА сводится к

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

Если ДС запаздывает по состоянию, то ее поведение описывается уравнением:

Продолжите утверждение. Каждой комбинации из символов, являющихся проекциями реакций автомата по выходным каналам с номерами , однозначно соответствует искомая проекция

Если в проверочном графе ОБПИК-автомата длина максимального пути, начальная дуга которого является выделенной, равна , то порядок ОБПИК-автомата равен

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

Построение графа установки автомата осуществляется

Построение графа синхронизации автомата осуществляется

Задача установки автомата в известное состояние называется

При построении диагностического дерева автомата автомата с множеством допустимых начальных состояний вершина -го уровня становится листом, если