Принцип построения СВК может быть использован и для

Автомат Мили может быть задан в виде

Если главная характеристическая матрица ЛА размерности является верхней треугольной, то длина минимальной СП для этого ЛА может быть

Один из принципов построения схемы встроенного контроля (СВК) для комбинационных устройств (КУ), используемый на практике, базируется на

Если для НЛА существует хотя бы одна УП длины , то длина его входной установочной последовательности может быть равна

Пусть в распоряжении экспериментатора находится один экземпляр автомата Мили, у которого известны входной алфавит, выходной алфавит, множество состояний и функция переходов. Решение задачи построения простого безусловного эксперимента позволяет

Пусть в распоряжении экспериментатора находится один экземпляр автомата Мили, у которого известны входной алфавит, выходной алфавит, множество состояний и функция переходов. Задача построения простого безусловного эксперимента в этом случае эквивалентна

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

Для того, чтобы однозначно определить число оно должно быть