La récursivité c'est quand une fonction s'appelle elle-même jusqu'à atteindre une condition d'arrêt.
Elle arrête alors de s'appeler elle-même.
Le résultat de chaque fonction enfant est retourné dans les fonctions parent, jusqu'à retourner à la fonction originale.
Pour donner un sens à cette égalité de types, on distingue deux formes de récursivité qui diffèrent dans la manière d'introduire et d'éliminer les types récursifs : l'équirécursivité et l'isorécursivité.
Une fonction récursive est une fonction qui contient au moins un appel à elle-même.
Un langage récursif est un langage dans lequel on peut programmer des fonctions récursives.
Python est un langage récursif.