原始递归函数

【词语拼音】yuán shǐ dì guī hán shù

【词语繁体】原始遞歸函數

【词语结构】式词语

【词语字数】六字词语

【网络解释】
在可计算性理论中，原始递归函数对计算的完全的形式化而言是形成重要构造板块的一类函数。它们使用递归和复合作为中心运算来定义，并且是递归函数的严格的子集，它们是完全可计算函数。通过补充允许偏函数和介入无界查找运算可以定义出递归函数的更广泛的类。