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

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

Для того чтобы последовательность была ДП для БА размерности , необходимо и достаточно, чтобы

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

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

Если для ЛА в любой момент времени выход однозначно определяется входом в этот же момент и предыдущими входами и выходами,то ЛА

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

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

Для того чтобы входная последовательность была УП для БА , необходимо и достаточно, чтобы для каждого ненулевого состояния выполнялось:

Для того чтобы ЛА имел СП длины , необходимо и достаточно, чтобы

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