Ackerman関数

鳥山明の書いた悪のヒーローのような名前のこの関数
再帰を使用したアセンブラプログラムに落とせという課題
こんな風に定義されるらしい
ACKER(0,N) = N + 1
ACKER(M,0) = ACKER(M-1,1)
ACKER(M,N) = ACKER(M-1,ACKER(M,N-1))
…
…
。
試しに5,3を代入してみた。
ACKER(5,3) = ACKER(4,ACKER(5,2))
ACKER(5,2) = ACKER(4,ACKER(5,1))
ACKER(5,1) = ACKER(4,ACKER(5,0))
ACKER(5,0) = ACKER(4,1)
ACKER(4,1) = ACKER(3,ACKER(4,0))
… … … (・∀・;)
なにこれ