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

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

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

Задача преобразования произвольного автомата в ОБПИК-автомат порядка 1 осуществляется путем

Если автомат задан в виде ориентированного графа, у которого начальной является вершина , то входному слову в графе автомата будет соответствовать

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

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

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

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

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

Задача отыскания начального (стартового) состояния заданного автомата называется