Una definizione si dice ricorsiva se include una o più istanze del concetto stesso. Esempio: PHP (PHP Hypertext Processor)
Una funzione ricorsiva deve avere una condizione di uscita.
Esempio: fattoriale
Il fattoriale di un numero naturale
Elementi di un algoritmo ricorsivo
Decomposizione
Consiste nel dividere un problema in uno più piccolo ma identico, in modo che la soluzione del problema più piccolo contribuisca alla risoluzione del problema più grande.
Caso base o passo ricorsivo
Il passo ricorsivo è la chiamata alla funzione stessa con un input più piccolo; il caso base è l’input più piccolo possibile, che non può essere diviso ulteriormente.
Composizione
Una volta risolti tutti i sottoproblemi, le soluzioni vengono ricomposte per risolvere il problema principale.