From f9ba7823e456ee252f05edd79e13eb9960f4529d Mon Sep 17 00:00:00 2001 From: "David A. Madore" Date: Mon, 20 Nov 2017 17:32:42 +0100 Subject: Minor clarification. --- notes-inf105.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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$, -- cgit v1.2.3