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

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

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

ЛА , заданный над полем уравнением при для любого называется

Если для любого свободного ЛА то состояние называется состоянием равновесия, если для любого

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

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

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

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

Состояние равновесия свободного ЛА при называется

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