阿克曼函数

阿克曼函数（Ackermann function），计算机科学技术名词，如下定义的一个双递归函数：① ψ(0，y)=y+1 ；② ψ(x+1，y)=ψ(x，1) ；③ ψ(x+1，y+1)=ψ(x，ψ(x+1，y))。它是一个递归函数，但不是原始递归函数。