summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2017-05-28 01:43:27 +0200
committerDavid A. Madore <david+git@madore.org>2017-05-28 01:43:27 +0200
commit57e64fd6f532c3e7cb5defebe2765eb603c8d6b4 (patch)
tree0a9d4f18d7bc7ed86b745ec28f595818ff0b7c27
parentbdd449efcbd5692905b246ed948aa5be51e16aa2 (diff)
downloadinf105-57e64fd6f532c3e7cb5defebe2765eb603c8d6b4.tar.gz
inf105-57e64fd6f532c3e7cb5defebe2765eb603c8d6b4.tar.bz2
inf105-57e64fd6f532c3e7cb5defebe2765eb603c8d6b4.zip
Spello.
-rw-r--r--controle-20170330.tex2
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.