Et toi tu n'as manifestement absolument pas compris ce qu'est le problème de l'arrêt, donc à ta place, j'éviterais de la ramener.
On sait ce qui va se passer dans la fonction de ton exemple : elle va boucler sur certaines entrées.
Ce que le problème de l'arrêt dit, c'est qu'il n'existe pas de programme qui, si on lui donne un programme et ses valeurs d'entrée (finies), dira systématiquement si ledit programme termine ou pas quand on l'exécute avec ces valeurs. Ton exemple n'a absolument rien à voir avec la choucroute, et je te conseille un peu de lecture sur le sujet avant de revenir raconter des âneries.
[^] # Re: Halting problem
Posté par Zakath . En réponse au journal Déterminer le domaine d'un programme. Évalué à 5.
On sait ce qui va se passer dans la fonction de ton exemple : elle va boucler sur certaines entrées.
Ce que le problème de l'arrêt dit, c'est qu'il n'existe pas de programme qui, si on lui donne un programme et ses valeurs d'entrée (finies), dira systématiquement si ledit programme termine ou pas quand on l'exécute avec ces valeurs. Ton exemple n'a absolument rien à voir avec la choucroute, et je te conseille un peu de lecture sur le sujet avant de revenir raconter des âneries.