* un booléen "vrai" si quand on file a manger "donnée quelquonque" à "programme" il s'arrête
Ok. L'important c'est "quelconque".
Si on traduit pour halt(halt,halt), avec halt(halt1,halt2) en utilisant des alias pour des raisons de clarté.
halt renvoie :
* un booléen "vrai" si quand on file a manger "halt2" à "halt1", il s'arrète
* faux sinon.
Or halt2 n'a pas de paramètres définis (cela change son comportement) donc, tu prends l'ensemble des possible en compte ? En gros, tu testes tous les halt1(halt2, foo) avec foo l'ensemble des programmes possibles.
C'est la différence que je voix avec une données statique, sa signification ne change pas avec un autre paramètre.
[^] # Re: Halting problem
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Déterminer le domaine d'un programme. Évalué à 2.
Ok. L'important c'est "quelconque".
Si on traduit pour halt(halt,halt), avec halt(halt1,halt2) en utilisant des alias pour des raisons de clarté.
halt renvoie :
* un booléen "vrai" si quand on file a manger "halt2" à "halt1", il s'arrète
* faux sinon.
Or halt2 n'a pas de paramètres définis (cela change son comportement) donc, tu prends l'ensemble des possible en compte ? En gros, tu testes tous les halt1(halt2, foo) avec foo l'ensemble des programmes possibles.
C'est la différence que je voix avec une données statique, sa signification ne change pas avec un autre paramètre.
"La première sécurité est la liberté"