Решение проблемы повышения надежности цифровых устройств (ЦУ)

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

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

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