summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--figs/example5ne.dot4
-rw-r--r--notes-inf105.tex6
2 files changed, 5 insertions, 5 deletions
diff --git a/figs/example5ne.dot b/figs/example5ne.dot
index 8371593..d9ee040 100644
--- a/figs/example5ne.dot
+++ b/figs/example5ne.dot
@@ -1,8 +1,8 @@
digraph example5ne {
rankdir="LR";
node [texmode="math",shape="circle",style="state"];
- q0 [style="state,initial",label="0"];
- q1 [style="state",label="1"];
+ q0 [style="state,initial,final,accepting below",label="0"];
+ q1 [style="state,final,accepting below",label="1"];
q2 [style="state,final",label="2"];
edge [texmode="math",lblstyle="auto"];
q0 -> q0 [label="a",topath="loop above"];
diff --git a/notes-inf105.tex b/notes-inf105.tex
index 1b63140..4bb405b 100644
--- a/notes-inf105.tex
+++ b/notes-inf105.tex
@@ -2341,7 +2341,7 @@ $q^\sharp\to q'$ étiquetée par $x$ dans $A$.
présenté en \ref{discussion-example5} : comme $C(0) = \{0,1,2\}$, on
fait partir de $0$ toutes les transitions partant d'un des états
$0,1,2$ et étiquetées par une lettre, et de même, comme $C(1) =
-\{1,2\}$, on fait pratir de $1$ toutes les transitions partant d'un
+\{1,2\}$, on fait partir de $1$ toutes les transitions partant d'un
des états $1,2$ et étiquetées par une lettre. On obtient finalement
l'automate suivant :
@@ -2350,8 +2350,8 @@ l'automate suivant :
\begin{tikzpicture}[>=latex,line join=bevel,automaton]
%%
-\node (q1) at (97bp,48bp) [draw,circle,state] {$1$};
- \node (q0) at (18bp,18bp) [draw,circle,state,initial] {$0$};
+\node (q1) at (97bp,48bp) [draw,circle,state,final,accepting below] {$1$};
+ \node (q0) at (18bp,18bp) [draw,circle,state,initial,final,accepting below] {$0$};
\node (q2) at (176bp,18bp) [draw,circle,state,final] {$2$};
\draw [->] (q0) ..controls (47.643bp,10.917bp) and (64.2bp,7.4655bp) .. (79bp,6bp) .. controls (94.922bp,4.4234bp) and (99.078bp,4.4234bp) .. (115bp,6bp) .. controls (125.98bp,7.0877bp) and (137.94bp,9.2693bp) .. node[auto] {$c$} (q2);
\draw [->] (q2) to[loop above] node[auto] {$c$} (q2);