アッカーマン関数

サイエンス

アッカーマン関数

あっかーまんかんすう

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

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

Ack(m,n)

 =n+1 (m=0のとき) 

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

 =Ack(m-1,Ack(m,n-1)) 

によって定義される。


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