原始递归函数

扩展释义

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