Utilité des variants
Fondamental : Utilité des variants
Les variants sont généralement utilisé pour prouver la terminaison d'une boucle et/ou d'un algorithme.
Définition : Terminaison
La terminaison est la propriété qu'a un algorithme à s’arrêter, en un temps fini, quelle que soit sont entrée.