Tag: infinite-loop
Une « boucle infinie » est une boucle dans laquelle les critères de sortie ne sont jamais satisfaits; une boucle de ce genre permettrait d’effectuer un nombre potentiellement infini d’itérations de la boucle du corps. Le problème général de déterminer si l’exécution d’une boucle avec donné les conditions entraînera dans une boucle infinie est indécidable; en d’autres termes, il n’y a pas d’algorithme pour déterminer si l’exécution d’une boucle terminera finalement. Ceci est connu comme le problème de l’arrêt.