kümesinde Tanımı aşağıdaki gibidir:
\begin
n+1 & m = 0 \\
A(m-1, 1) & n = 0 \\
A(m-1, A(m, n-1)) & \mbox
\end
Kısaca: Ackermann işlevi, ismini Wilhelm Ackermann'dan alan oldukça hızlı büyüyen bir işlevdir. Özyinelemeli olup işlevlerin göreceli olarak en basitidir. Özellikle karmaşıklık çözümlemesinde kullanılır. ...devamı ☟
\begin
n+1 & m = 0 \\
A(m-1, 1) & n = 0 \\
A(m-1, A(m, n-1)) & \mbox
\end