请解释一下「原始递归函数」这个词的含义。

助手
原始递归函数 yuán shǐ dì guī hán shù · ㄩㄢˊ ㄕˇ ㄉㄧˋ ㄍㄨㄟ ㄏㄢˊ ㄕㄨˋ
yuan shi di gui han shu
ysdghs
ㄩㄢ ㄕ ㄉㄧ ㄍㄨㄟ ㄏㄢ ㄕㄨ
2026-07-15 20:51:15

扩展释义

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