C'est faux, l'algo prend en entrée un prog et une entrée pour celui-ci... et il te dit si ça s'arrête ou non.
L'algo est général si pour tout prog et tout entrée donnée il donne la réponse... et on a montré que cela est impossible... rien à voir avec une utilité pratique ou non, ça montre juste qu'il y a des propositions qui sont simplement indécidable.
[^] # Re: Halting problem
Posté par allcolor . En réponse au journal Déterminer le domaine d'un programme. Évalué à 2.
sans connaitre par avance ses entréesC'est faux, l'algo prend en entrée un prog et une entrée pour celui-ci... et il te dit si ça s'arrête ou non.
L'algo est général si pour tout prog et tout entrée donnée il donne la réponse... et on a montré que cela est impossible... rien à voir avec une utilité pratique ou non, ça montre juste qu'il y a des propositions qui sont simplement indécidable.
la fonction halt se décrit ainsi:
halt (prog,datain).