Критерий полноты некоторых систем, содержащих $P$-множества о.-д. функций

В данной работе рассматривается некоторый класс подмножеств ($P$-множества) в функциональной системе автоматных отображений. Эти $P$-множества определяются с помощью классов Поста. Работа посвящена построению эффективных критериев распознавания полноты бесконечных систем автоматных отображений $M$ таких, что $N\subseteq M$, $M\setminus N$ – конечно и $N$ является некоторым $P$-множеством. По конечной добавке $M\setminus N$ критерий должен определять, полна система или нет. Приведено несколько разрешимых случаев.