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

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

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

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

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

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

Для того чтобы -ЛА размерности имел обобщенную ДП длины , необходимо и достаточно, чтобы

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

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

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

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