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

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

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

Пусть - минимальная ОСП, а - произвольная ОСП длины , переводящая ЛА в одно и то же синхросостояние, и пусть для любого входного символа этого ЛА. Тогда

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

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

Линейное уравнение , где - обычные интервалы над полем , имеет алгебраическое решение в виде обобщенного интервала тогда и только тогда, когда

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

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

Пусть для каждой вершины разветвления удалось получить оценку снизу для лучшего решения из множества : . Функция является

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