在可计算性理论中，原始递归函数对计算的完全的形式化而言是形成重要构造板块的一类函数。它们使用递归和复合作为中心运算来定义，并且是递归函数的严格的子集，它们是完全可计算函数。通过补充允许偏函数和介入无界查找运算可以定义出递归函数的更广泛的类。
品词库词语词典，您的随身汉语词典。收录海量成语、近义词、反义词，支持组词查询。专业、准确、快速，助您轻松掌握汉语词汇。