Два интервала и называются равными, если

Запись вида , где , интерпретируется как множество и называется

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

Подмножество , такое, что называестя

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

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

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

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

При построении синхронизирующего дерева автомата с множеством допустимых начальных состояний вершина -го уровня становится листом, если

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

При построении установочного дерева автомата автомата с множеством допустимых начальных состояний вершина -го уровня становится листом, если