From dd6a9ca28e5d3e3e40674ec6dc2ee21db6e85ac2 Mon Sep 17 00:00:00 2001 From: "David A. Madore" Date: Mon, 13 Nov 2017 18:44:26 +0100 Subject: Corrections suggested by a3nm. --- notes-inf105.tex | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'notes-inf105.tex') 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); -- cgit v1.2.3