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