Условия обеспечения функционального диагноза дискретных устройств с заданным множеством неисправностей

Описываются условия для построения автомата, проверяющего правильность функционирования исходного автомата с заданным множеством неисправностей. В случае проверки правильности установки исходного автомата в начальное состояние приводятся необходимые и достаточные условия, а при отсутствии подобной проверки – лишь достаточные условия для построения такого контролирующего автомата.