La réponse est: cela dépend des entrées de l'instance B !
Tu n'appel pas halt avec une instance de la fonction bordel...
Définition de la fonction halt:
halt est une fonction qui prend en argument une représentation sous forme symbolique d'un programme ainsi que une entrée à fournir à ce programme et répond si pour cette entrée et ce programme le programme concerné s'arrête.
Donc halt(testArret,testArret) doit me dire si lorsque j'appelle testArret avec sa représentation symbolique en entrée, la fonction testArret s'arrête ou non.
On montre par la démonstration au dessus que halt ne peut exister car il y a une contradiction. Point.
La démonstration montre donc que pour au moins une instance il n'est pas possible de décider l'arrêt. Ça démontre donc que notre hypothèse comme quoi il est possible d'écrire cette fonction halt est fausse et qu'une telle fonction n'existe pas.
[^] # Re: Halting problem
Posté par allcolor . En réponse au journal Déterminer le domaine d'un programme. Évalué à 2.
La réponse est: cela dépend des entrées de l'instance B !Tu n'appel pas halt avec une instance de la fonction bordel...
Définition de la fonction halt:
halt est une fonction qui prend en argument une représentation sous forme symbolique d'un programme ainsi que une entrée à fournir à ce programme et répond si pour cette entrée et ce programme le programme concerné s'arrête.
Donc halt(testArret,testArret) doit me dire si lorsque j'appelle testArret avec sa représentation symbolique en entrée, la fonction testArret s'arrête ou non.
On montre par la démonstration au dessus que halt ne peut exister car il y a une contradiction. Point.
La démonstration montre donc que pour au moins une instance il n'est pas possible de décider l'arrêt. Ça démontre donc que notre hypothèse comme quoi il est possible d'écrire cette fonction halt est fausse et qu'une telle fonction n'existe pas.