递归函数
Sign in to saveAlso known as general recursive function, recursive function, partial recursive function, μ-recursive functions
one of several equivalent definitions of a computable function
Article · 中文
在数理逻辑和计算机科学中，递归函数或μ-递归函数是一类从自然数到自然数的函数。直觉上递归函数是"可计算的"。事实上在可计算性理论中已经证明了它确实是图灵机的可计算函数。递归函数与原始递归函数相关，而且递归函数的归纳定义（见下）建立在原始递归函数之上。但不是所有递归函数都是原始递归函数——其中最著名的是阿克曼函数。 其他等价的函数类是λ-递归函数和马尔可夫算法可计算的函数。 所有递归函数的集合叫做。
Abstract from DBpedia / Wikipedia · CC BY-SA
Connections
Stephen Cole Kleene
Entity
Marvin Minsky
Entity
computability theory
Entity
Church–Turing thesis
Entity
partial function
Entity
primitive recursive function
Entity
computer science
Entity
Alan Turing
Entity
International Standard Book Number
Entity
natural number
Entity
digital object identifier
Entity
mathematical logic
Entity
Turing machine
Entity
JSTOR
Organization
recursion
Entity
domain of a function
Entity
logical negation
Entity
if and only if
Entity
lambda calculus
Entity
Stanford Encyclopedia of Philosophy
Entity