ON THE REDUCTION OF POLYADIC RECURSIVE PROGRAMS TO MONADIC ONES.

Abstract

In the paper, a certain method is considered for the reduction of polyadic recursive programs to monadic ones. The method is based on ideas used before by L.Ivanov in some applications of hi algebraic recursion theory. The applicability of this method is discussed for the implementation of polyadic recursive programs in programming languages admitting only recursive procedures without parameters.