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

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

Для того чтобы задача распознавания функции выходов неинициального автомата (с точностью до эквивалентности) была разрешима, необходимо и достаточно, чтобы автомат был

Для того чтобы у графа существовал обход, необходимо и достаточно, чтобы

Для того чтобы ЛА над полем имел асимптотически устойчивое состояние, необходимо и достаточно, чтобы он был

ЛА называется неизбыточным по выходам, если

Линейный автомат называется неизбыточным по выходам, если

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

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

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

Для того чтобы ЛА являлся ЛА БПИ, необходимо и достаточно, чтобы рангхарактеристической матрицы равнялся