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