summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--controle-20170207.tex8
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);