Если у неизбыточных по выходам ЛА оптимальный подавтомат ОБПИ существует, то он

Заметим, что если у ЛА, для которого ищется оптимальный подавтомат, ОБПИ таков, что , то этот подавтомат является

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

Для того чтобы у ЛА существовал подавтомат ОБПИ , где и - непустые собственные подмножества множеств входных и выходных каналов ЛА соответственно, необходимо и достаточно, чтобы

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

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

Если характеристические матрицы и , БС являются верхними (нижними) треугольными, где - число строк и столбцов упомянутых матриц, то для этой БС существуют СП длины

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

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

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

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