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

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

Если для -ЛА существует хотя бы одна обобщенная ДП длины , то для него обобщенными являются любые входные последовательности длины

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

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

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

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

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

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

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

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