===== File: ackerman.txt =====

============================================================================
Funzione di Ackermann
============================================================================

La funzione di Ackermann A(m,n) e` l'esempio piu` semplice di una funzione
totale calcolabile ma non primitiva ricorsiva.
Questo significa che la funzione di Ackermann cresce MOLTO rapidamente.

Si consideri ad esempio che la funzione f(x) = A(x, x) cresce MOLTO piu`
rapidamente di qualsiasi polinomio o esponenziale.

La definizione ricorsiva della funzione di Ackermann e` la seguente:

    A(m, n) = n + 1                 se m = 0;
    A(m, n) = A(m-1, 1)             se n = 0;
    A(m, n) = A(m-1, A(m, n-1))     altrimenti.