Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Abbiamo:
- due casi base (per gli argomenti 0 ed 1);
- nella clausola ricorsiva la funzione è chiamata due volte su
argomenti diversi. Si parla di ricorsione branching (o binaria).
Terminazione della ricorsione
In una denizione ricorsiva occorre garantire che in un numero
nito di applicazioni del concetto ricorsivo si giunga ad uno dei casi
base e quindi la computazione termini (ricorsione benfondata).
Ciò signica garantire che ad ogni chiamata ricorsiva di una
funzione, tale funzione venga applicata su uno o più argomenti tali
da assicurare la terminazione della computazione (i.e., riduzione
dello spazio di ricerca).