Мощность множества всех различных синхросостояний ЛА, заданного над полем , равна

Мощность множества всех решений интервальной системы уравнений с квадратной матрицей равна величине . При увеличении ширины интервалов, мощность

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

Обобщенной диаграммой переходов для -ЛА над полем называется ориентированный граф, содержащий

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

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

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

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

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

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

Интервал вида , где интерпретируется как элемент поля называется