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

Пусть автомат не является ОБПИК-автоматом,, , тогда

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

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

Если для заданного ЛА существует такое натуральное число , что знания начального отрезка длины слова w достаточно для однозначного определения первого символа слова независимо от входной последовательности и начального состояния ЛА, то называют ЛА

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

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

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

Если состояние не является концом ни одной дуги автомата , т.е не достижимо ни из одного состояния, отличного от , то оно называется

Если у -ЛА размерности ранг характеристической матрицы равен , то для него существует обобщенная УП, длина которой равна

Если для ЛА , у которого характеристическая матрица невырожденная, существует хотя бы одна УП длины , то длина его входной установочной последовательности может быть равна