Об алгоритмической разрешимости задачи об $A$-полноте для систем ограниченно-детерминированных функций, содержащих все одноместные $S$-о.-д. функции

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