Синтез полностью самопроверяемых синхронных автоматов с использованием полиномиальных форм

Рассматриваются принципы построения полностью самопроверяемых синхронных автоматов с памятью на $D$-трштерах. Предлагаются методы структурного синтеза таких автоматов с использованием полиномиальных форм при реализации комбинационной части автомата.