/* File: Ackerman.txt */
/* Scopo: esempio di funzione ricorsiva con ricorsione annidata */

/* Funzione ricorsiva che calcola la funzione di Ackermann di due numeri >= 0,
   definita come segue:

   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

   Nota: La funzione di Ackermann A(m,n) e` l'esempio piu` semplice di una
   funzione totale (sui Naturali) 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.

   Nota: gia' calcolando ack(4,1) si puo' avere stack overflow!
*/