diff options
author | David A. Madore <david+git@madore.org> | 2017-01-30 21:03:39 +0100 |
---|---|---|
committer | David A. Madore <david+git@madore.org> | 2017-02-05 12:40:09 +0100 |
commit | 65e21580733785d662b6ebda4e6b85b9c5b400b8 (patch) | |
tree | 7252082ba1f714b0c32720948297c1a4f6f55529 | |
parent | e22f01a3ee74440171a1d8b85c107634253b00bd (diff) | |
download | inf105-65e21580733785d662b6ebda4e6b85b9c5b400b8.tar.gz inf105-65e21580733785d662b6ebda4e6b85b9c5b400b8.tar.bz2 inf105-65e21580733785d662b6ebda4e6b85b9c5b400b8.zip |
Typographic frill.
-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); |