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