アッカーマン関数

アッカーマン関数

(サイエンス)
あっかーまんかんすう

原始帰納的でない全域帰納的関数の1つ。

非負整数mとnにたいして

Ack(m,n)
 =n+1 (m=0のとき) 
 =Ack(m-1,1) (n=0のとき) 
 =Ack(m-1,Ack(m,n-1)) 

によって定義される。


*リスト:リスト::数学関連