• [^] # Re: Halting problem

    Posté par (site web personnel) . En réponse au journal Déterminer le domaine d'un programme. Évalué à 2.

    Je sais bien. Je te parle de la fonction que tu as définit toi même plus haut.

    Pour mémoire :

    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"+
    "}");

    "La première sécurité est la liberté"