summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2017-11-20 17:32:42 +0100
committerDavid A. Madore <david+git@madore.org>2017-11-20 17:32:42 +0100
commitf9ba7823e456ee252f05edd79e13eb9960f4529d (patch)
treefd6fe931e3669159ffa11a349b9d8c051c6bfa7c
parentf1826f0f50ca2ff35761222b64d6312ac87bbc77 (diff)
downloadinf105-f9ba7823e456ee252f05edd79e13eb9960f4529d.tar.gz
inf105-f9ba7823e456ee252f05edd79e13eb9960f4529d.tar.bz2
inf105-f9ba7823e456ee252f05edd79e13eb9960f4529d.zip
Minor clarification.
-rw-r--r--notes-inf105.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/notes-inf105.tex b/notes-inf105.tex
index d0069cd..0c40823 100644
--- a/notes-inf105.tex
+++ b/notes-inf105.tex
@@ -2298,7 +2298,7 @@ On définit donc $\delta^\S \subseteq Q\times\Sigma\times Q$ par
$(q,x,q') \in \delta^\S$ lorsqu'il existe $q^\sharp \in C(q)$ tel que
$(q^\sharp,x,q') \in \delta$ : autrement dit, pour créer les
transitions $q\to q'$ dans $A^\S$, on parcourt tous les $q^\sharp \in
-C(q)$, et on crée une transition $q\to q'$ étiquetée par $x$
+C(q)$, et on crée une transition $q\to q'$ étiquetée par $x \in \Sigma$
dans $A^\S$ lorsqu'il existe une transition $q^\sharp\to q'$ étiquetée
par ce $x$ dans $A$. De même, on définit $F^\S \subseteq Q$ comme
l'ensemble des $q\in Q$ tels que $C(q) \cap F \neq \varnothing$,