La ricorsione è un tipo di chiamata di funzione in cui una funzione si chiama da sola. Tali funzioni sono anche chiamate funzioni ricorsive. La ricorsione strutturale è un metodo di risoluzione dei problemi in cui la soluzione di un problema dipende da soluzioni a istanze più piccole dello stesso problema.