Un modèle à plusieurs équations est dit récursif lorsqu'il ne comporte pas de phénomènes de causalité réciproque ou circulaire (Thinès-Lemp. 1975). − LING.
GÉNÉRATIVE ET TRANSFORMATIONNELLE.
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é.
Premièrement, elle permet de résoudre des problèmes, d'habitude irrésolvables avec l'utilisation de simples boucles pour ou tant que.
Elle peut aussi rendre un algorithme plus lisible et plus court, mais surtout, elle permet, dans certains cas, un gain colossal de temps comme c'est le cas dans les algorithmes de tri.