summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2017-01-30 21:03:39 +0100
committerDavid A. Madore <david+git@madore.org>2017-02-05 12:40:09 +0100
commit65e21580733785d662b6ebda4e6b85b9c5b400b8 (patch)
tree7252082ba1f714b0c32720948297c1a4f6f55529
parente22f01a3ee74440171a1d8b85c107634253b00bd (diff)
downloadinf105-65e21580733785d662b6ebda4e6b85b9c5b400b8.tar.gz
inf105-65e21580733785d662b6ebda4e6b85b9c5b400b8.tar.bz2
inf105-65e21580733785d662b6ebda4e6b85b9c5b400b8.zip
Typographic frill.
-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);