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