• [^] # Re: Halting problem

    Posté par . En réponse au journal Déterminer le domaine d'un programme. Évalué à 6.

    Pas du tout.

    L'algo qui démontre l'indecidabilité est le suivant:

    testArret(prog) {
    si halt(prog,prog) alors boucle infinie
    sinon arret.
    }

    Le problème arrive lors de l'appel suivant:

    testArret(testArret).

    Ce qui appelle finalement:

    halt(testArret,testArret).

    je te laisse faire la suite dans ta tête, l'entrée n'est absolument pas infinie.