diff options
| -rw-r--r-- | figs/example5ne.dot | 4 | ||||
| -rw-r--r-- | notes-inf105.tex | 6 |
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); |