Non, la fonction halt répond à la question si j'appelle testArret avec en argument la string représentant le programme testArret est-ce que testArret s'arrête.
donc en gros elle répond à ceci:
testArret(in) {
si halt(in,in) alors boucle infinie;
sinon arret;
}
testArret("testArret(in) {\n"+
"si halt(in,in) alors boucle infinie;\n"+
"sinon arret;\n"+
"}");
[^] # Re: Halting problem
Posté par allcolor . En réponse au journal Déterminer le domaine d'un programme. Évalué à 4.
donc en gros elle répond à ceci:
testArret(in) {
si halt(in,in) alors boucle infinie;
sinon arret;
}
testArret("testArret(in) {\n"+
"si halt(in,in) alors boucle infinie;\n"+
"sinon arret;\n"+
"}");