Если состояние не является концом ни одной дуги автомата , т.е не достижимо ни из одного состояния, отличного от , то оно называется
Если - компенсирующая система минимальной длины для -обхода графа , то
ЛА , заданный над полем уравнением при для любого называется
Если для заданного ЛА существует такое натуральное число , что знания начального отрезка длины слова w достаточно для однозначного определения первого символа слова независимо от входной последовательности и начального состояния ЛА, то называют ЛА
Если у -ЛА размерности ранг характеристической матрицы равен , то для него существует обобщенная УП, длина которой равна
Если характеристические матрицы и , БС являются верхними (нижними) треугольными, где - число строк и столбцов упомянутых матриц, то для этой БС существуют СП длины
Если для ЛА в любой момент времени выход однозначно определяется входом в этот же момент и предыдущими входами и выходами,то ЛА
При построении синхронизирующего дерева автомата с множеством допустимых начальных состояний вершина -го уровня становится листом, если
Если для ЛА в любой момент времени выход зависит лишь от предыдущих входов,то ЛА является
Для того чтобы у ЛА существовал подавтомат ОБПИ , где и - непустые собственные подмножества множеств входных и выходных каналов ЛА соответственно, необходимо и достаточно, чтобы