阿克曼函数

阿克曼函数(Ackermann function)是由德国数学家威廉·阿克曼(Wilhelm Ackermann)创造的非原始递归函数。

定义

$A(m,n)=\{\begin{array}{ll}n+1& ,m=0\\ A(m-1,1)& ,m>0\text{and}n=0\\ A(m-1,A(m,n-1))& ,m>0\text{and}n>0\end{array}$