"Un halt() qui prend une fonction et une donnée qui n'est pas une fonction demandant des paramètres est une restriction au halt() précédent qui reste utile."
Je ne comprends pas... C'est déjà le cas ! halt n'interprète pas son deuxième argument comme une fonction.
Ce que tu n'as pas l'air de voir, c'est que les fonctions sont des données comme les autres. Une fonction C, c'est juste un texte. De même si tu as une donnée d, tenter de l'exécuter est une opération comme une autre. Qui n'a aucune garantie de marcher, bien sûr, si d n'est pas un programme correct.
[^] # Re: Halting problem
Posté par arenthis . En réponse au journal Déterminer le domaine d'un programme. Évalué à 2.
Je ne comprends pas... C'est déjà le cas ! halt n'interprète pas son deuxième argument comme une fonction.
Ce que tu n'as pas l'air de voir, c'est que les fonctions sont des données comme les autres. Une fonction C, c'est juste un texte. De même si tu as une donnée d, tenter de l'exécuter est une opération comme une autre. Qui n'a aucune garantie de marcher, bien sûr, si d n'est pas un programme correct.