• [^] # Re: Halting problem

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

    testArret n'est pas la fonction qui décide de l'arrêt mais halt.

    Donc ton appel devrait être soit:

    halt("toto (bool a){if(a) boucle_infinie() else arret();}","false"); ou
    halt("toto (bool a){if(a) boucle_infinie() else arret();}","true");

    Le programme testArret est écrit uniquement pour montrer la contradiction...