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

Рассматриваются системы автоматных функций вида $M=\Phi\cup\nu$, где $\Phi$ — некоторый класс Поста, а $\nu$ — конечная система автоматных функций. Показано, что если $\Phi=M,D,C,F^2$, то проблема полноты и $A$-полноты для системы $M$ алгоритмически разрешима.
Работа выполнена при поддержке Российского фонда фундаментальных исследований, проект 95-01-01102.