• [^] # Re: Halting problem

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

    Le problème de l'arrêt c'est pour toutes les entrées possibles, pas que pour "halt" lui même ...

    En gros, ça donne halt : programme , donnee -> booleen

    T'as pas de récursion ici, tu veux savoir si "donnee" s'arrête pour toutes les entrées possibles, quasiment.

    d'ailleurs ta récursion n'a pas de sens, halt(halt,halt) renvoie un booleen, et ce que tu veux faire manger à ton programme c'est un autre programme.