La récursivité est un outil extrêmement puissant pour la description des algorithmes, elle permet de les exprimer facilement, de manière concise, de prouver leur validité et de les évaluer.
Définition:
Un objet est dit récursif s’il est réutilisé directement ou indirectement dans sa définition : on définit aussi bien une structure de données récursive (structure de liste, d’arbre, … ) qu’une action paramétrée récursive.