您的位置首页百科知识

原始递归函数

原始递归函数

的有关信息介绍如下:

原始递归函数

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

想要了解更多“原始递归函数”的信息,请点击:原始递归函数百科