diff options
| -rw-r--r-- | controle-20170207.tex | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/controle-20170207.tex b/controle-20170207.tex index 583053d..e8a0d10 100644 --- a/controle-20170207.tex +++ b/controle-20170207.tex @@ -118,9 +118,9 @@ représenté par la figure suivante : \begin{tikzpicture}[>=latex,line join=bevel,automaton] \node (X) at (-80bp,0bp) [draw,circle,state,initial] {$X$}; \node (Y) at (80bp,0bp) [draw,circle,state,final] {$Y$}; -\node (A1) at (-40bp,50bp) [draw,circle,state] {$A$}; +\node (A1) at (-40bp,50bp) [draw,circle,state] {$A\phantom{'}$}; \node (A2) at (40bp,50bp) [draw,circle,state] {$A'$}; -\node (B1) at (-40bp,-50bp) [draw,circle,state] {$B$}; +\node (B1) at (-40bp,-50bp) [draw,circle,state] {$B\phantom{'}$}; \node (B2) at (40bp,-50bp) [draw,circle,state] {$B'$}; \draw[->] (X) -- node[auto]{$\varepsilon$} (A1); \draw[->] (X) -- node[auto,below left]{$\varepsilon$} (B1); @@ -192,9 +192,9 @@ a{*}ba{*}$. \begin{center} \begin{tikzpicture}[>=latex,line join=bevel,automaton] \node (X) at (-80bp,0bp) [draw,circle,state,initial] {$X$}; -\node (A1) at (-40bp,50bp) [draw,circle,state] {$A$}; +\node (A1) at (-40bp,50bp) [draw,circle,state] {$A\phantom{'}$}; \node (A2) at (40bp,50bp) [draw,circle,state,final] {$A'$}; -\node (B1) at (-40bp,-50bp) [draw,circle,state] {$B$}; +\node (B1) at (-40bp,-50bp) [draw,circle,state] {$B\phantom{'}$}; \node (B2) at (40bp,-50bp) [draw,circle,state,final] {$B'$}; \draw[->] (X) -- node[auto]{$b$} (A1); \draw[->] (X) -- node[auto,below left]{$a$} (B1); |