diff options
| -rw-r--r-- | controle-20170330.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/controle-20170330.tex b/controle-20170330.tex index 90fda16..443d25e 100644 --- a/controle-20170330.tex +++ b/controle-20170330.tex @@ -477,7 +477,7 @@ On définit ici la variante $H'$ suivante du problème de l'arrêt : $H'$ est l'ensemble des couples $(e,x)$ formés d'un programme $e$ et d'une entrée $x$, tels que l'exécution du programme $e$ sur l'entrée $x$ termine en temps fini et renvoie la réponse $42$. Ainsi, on a $H' -\subseteq H$ (ce fait est destiner à éclaircir la définition de $H'$ +\subseteq H$ (ce fait est destiné à éclaircir la définition de $H'$ mais n'est pas utile pour la suite). (1) Montrer que $H'$ est semi-décidable. |