La ricorsione è una tecnica di programmazione che permette di risolvere problemi a patto di saperli caratterizzare in forma ricorsiva (anche questa è una definizione ricorsiva :-). Un problema è definito in forma ricorsiva quando la sua soluzione può essere scomposta in un passaggio elementare più una versione "più piccola" del problema stesso. In C il modo per sfruttare la ricorsione è quello di definire una funzione ricorsiva, una funzione cioè che all'interno della propria definizione richiami sè stessa in maniera opportuna. Le funzioni ricorsive hanno sempre una condizione di terminazione, esplicita o implicita, che permette alla ricorsione di terminare.