From d54af790f7e6920206dfb24c48164448b294935a Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Wed, 22 Mar 2017 14:33:33 +0100
Subject: Add missing transition on Thompson automaton.

---
 controle-20170330.tex | 55 ++++++++++++++++++++++++++-------------------------
 1 file changed, 28 insertions(+), 27 deletions(-)

(limited to 'controle-20170330.tex')

diff --git a/controle-20170330.tex b/controle-20170330.tex
index 5c53a7b..efb9a34 100644
--- a/controle-20170330.tex
+++ b/controle-20170330.tex
@@ -164,34 +164,35 @@ l'automate déterminisé.
 
 \begin{tikzpicture}[>=latex,line join=bevel,automaton]
 %%
-\node (q1) at (98bp,45bp) [draw,circle,state] {$1$};
+\node (q1) at (97bp,45bp) [draw,circle,state] {$1$};
   \node (q0) at (18bp,18bp) [draw,circle,state,initial] {$0$};
-  \node (q3) at (258bp,18bp) [draw,circle,state] {$3$};
-  \node (q2) at (178bp,45bp) [draw,circle,state] {$2$};
-  \node (q5) at (418bp,48bp) [draw,circle,state] {$5$};
-  \node (q4) at (338bp,18bp) [draw,circle,state] {$4$};
-  \node (q7) at (578bp,86bp) [draw,circle,state] {$7$};
-  \node (q6) at (498bp,86bp) [draw,circle,state] {$6$};
-  \node (q9) at (738bp,124bp) [draw,circle,state] {$9$};
-  \node (q8) at (658bp,124bp) [draw,circle,state] {$8$};
-  \node (q11) at (904bp,25bp) [draw,circle,state,final] {$11$};
-  \node (q10) at (820bp,63bp) [draw,circle,state] {$10$};
-  \draw [->] (q0) ..controls (76.842bp,18bp) and (179.8bp,18bp)  .. node[auto] {{}} (q3);
-  \draw [->] (q2) ..controls (205.62bp,35.785bp) and (219.46bp,30.994bp)  .. node[auto] {{}} (q3);
-  \draw [->] (q10) ..controls (849.21bp,49.929bp) and (864.12bp,43.018bp)  .. node[auto] {{}} (q11);
-  \draw [->] (q7) ..controls (605.31bp,98.816bp) and (620.14bp,106.04bp)  .. node[auto] {{}} (q8);
-  \draw [->] (q8) ..controls (686.11bp,124bp) and (698.58bp,124bp)  .. node[auto] {$a$} (q9);
-  \draw [->] (q2) ..controls (154.59bp,39.764bp) and (148.04bp,38.598bp)  .. (142bp,38bp) .. controls (136.68bp,37.473bp) and (131.02bp,37.771bp)  .. node[auto] {{}} (q1);
-  \draw [->] (q6) ..controls (526.11bp,86bp) and (538.58bp,86bp)  .. node[auto] {{}} (q7);
-  \draw [->] (q9) ..controls (761.45bp,107.48bp) and (772.39bp,99.343bp)  .. (782bp,92bp) .. controls (786.62bp,88.47bp) and (791.54bp,84.659bp)  .. node[auto] {{}} (q10);
-  \draw [->] (q3) ..controls (286.11bp,18bp) and (298.58bp,18bp)  .. node[auto] {{}} (q4);
-  \draw [->] (q7) ..controls (637.01bp,80.44bp) and (739.57bp,70.612bp)  .. node[auto] {{}} (q10);
-  \draw [->] (q4) ..controls (370.88bp,8.0178bp) and (395.3bp,2bp)  .. (417bp,2bp) .. controls (417bp,2bp) and (417bp,2bp)  .. (821bp,2bp) .. controls (840.04bp,2bp) and (860.68bp,7.8211bp)  .. node[auto] {{}} (q11);
-  \draw [->] (q5) ..controls (445.31bp,60.816bp) and (460.14bp,68.042bp)  .. node[auto] {$b$} (q6);
-  \draw [->] (q10) ..controls (786bp,48.432bp) and (761.4bp,40bp)  .. (739bp,40bp) .. controls (497bp,40bp) and (497bp,40bp)  .. (497bp,40bp) .. controls (480.02bp,40bp) and (461.07bp,41.899bp)  .. node[auto] {{}} (q5);
-  \draw [->] (q0) ..controls (45.62bp,27.215bp) and (59.462bp,32.006bp)  .. node[auto] {{}} (q1);
-  \draw [->] (q1) ..controls (122.47bp,55.902bp) and (132.67bp,58.554bp)  .. (142bp,57bp) .. controls (145.13bp,56.478bp) and (148.36bp,55.711bp)  .. node[auto] {$a$} (q2);
-  \draw [->] (q4) ..controls (365.62bp,28.238bp) and (379.46bp,33.562bp)  .. node[auto] {{}} (q5);
+  \node (q3) at (255bp,18bp) [draw,circle,state] {$3$};
+  \node (q2) at (176bp,45bp) [draw,circle,state] {$2$};
+  \node (q5) at (413bp,48bp) [draw,circle,state] {$5$};
+  \node (q4) at (334bp,18bp) [draw,circle,state] {$4$};
+  \node (q7) at (571bp,86bp) [draw,circle,state] {$7$};
+  \node (q6) at (492bp,86bp) [draw,circle,state] {$6$};
+  \node (q9) at (729bp,124bp) [draw,circle,state] {$9$};
+  \node (q8) at (650bp,124bp) [draw,circle,state] {$8$};
+  \node (q11) at (891.49bp,25bp) [draw,circle,state,final] {$11$};
+  \node (q10) at (809.5bp,63bp) [draw,circle,state] {$10$};
+  \draw [->] (q0) ..controls (59.7bp,17.371bp) and (103.03bp,16.838bp)  .. (140bp,17bp) .. controls (169.56bp,17.13bp) and (203.43bp,17.448bp)  .. node[auto] {{}} (q3);
+  \draw [->] (q2) ..controls (203.44bp,35.73bp) and (216.64bp,31.102bp)  .. node[auto] {{}} (q3);
+  \draw [->] (q10) ..controls (838.18bp,49.853bp) and (852.23bp,43.176bp)  .. node[auto] {{}} (q11);
+  \draw [->] (q7) ..controls (598.12bp,98.892bp) and (612.27bp,105.87bp)  .. node[auto] {{}} (q8);
+  \draw [->] (q8) ..controls (672.67bp,132.8bp) and (679.54bp,134.92bp)  .. (686bp,136bp) .. controls (691.61bp,136.94bp) and (697.54bp,136.29bp)  .. node[auto] {$a$} (q9);
+  \draw [->] (q2) ..controls (152.62bp,39.018bp) and (146.07bp,37.685bp)  .. (140bp,37bp) .. controls (134.92bp,36.427bp) and (129.53bp,36.741bp)  .. node[auto] {{}} (q1);
+  \draw [->] (q6) ..controls (519.66bp,86bp) and (531.82bp,86bp)  .. node[auto] {{}} (q7);
+  \draw [->] (q9) ..controls (752.24bp,107.21bp) and (762.74bp,99.206bp)  .. (772bp,92bp) .. controls (776.47bp,88.521bp) and (781.23bp,84.776bp)  .. node[auto] {{}} (q10);
+  \draw [->] (q3) ..controls (282.66bp,18bp) and (294.82bp,18bp)  .. node[auto] {{}} (q4);
+  \draw [->] (q7) ..controls (629.17bp,80.44bp) and (730.23bp,70.612bp)  .. node[auto] {{}} (q10);
+  \draw [->] (q9) ..controls (703.63bp,117.47bp) and (694.39bp,116.17bp)  .. (686bp,117bp) .. controls (683.26bp,117.27bp) and (680.42bp,117.66bp)  .. node[auto] {{}} (q8);
+  \draw [->] (q4) ..controls (366.77bp,7.9414bp) and (390.7bp,2bp)  .. (412bp,2bp) .. controls (412bp,2bp) and (412bp,2bp)  .. (810.5bp,2bp) .. controls (828.87bp,2bp) and (848.73bp,7.6737bp)  .. node[auto] {{}} (q11);
+  \draw [->] (q5) ..controls (440.12bp,60.892bp) and (454.27bp,67.873bp)  .. node[auto] {$b$} (q6);
+  \draw [->] (q10) ..controls (775.83bp,48.323bp) and (751.87bp,40bp)  .. (730bp,40bp) .. controls (491bp,40bp) and (491bp,40bp)  .. (491bp,40bp) .. controls (474.34bp,40bp) and (455.77bp,41.875bp)  .. node[auto] {{}} (q5);
+  \draw [->] (q0) ..controls (45.436bp,27.27bp) and (58.635bp,31.898bp)  .. node[auto] {{}} (q1);
+  \draw [->] (q1) ..controls (121.23bp,55.953bp) and (131.02bp,58.496bp)  .. (140bp,57bp) .. controls (143.13bp,56.478bp) and (146.36bp,55.711bp)  .. node[auto] {$a$} (q2);
+  \draw [->] (q4) ..controls (361.28bp,28.238bp) and (374.94bp,33.562bp)  .. node[auto] {{}} (q5);
 %
 \end{tikzpicture}
 
-- 
cgit v1.2.3

