summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2017-03-22 13:33:33 (GMT)
committerDavid A. Madore <david+git@madore.org>2017-03-22 13:33:33 (GMT)
commitd54af790f7e6920206dfb24c48164448b294935a (patch)
tree20c389c54ec92402d6cc316d1003f80e3511549f
parent0b22c400a72f69f4bf116270dc2cc36616e89ee0 (diff)
downloadinf105-d54af790f7e6920206dfb24c48164448b294935a.zip
inf105-d54af790f7e6920206dfb24c48164448b294935a.tar.gz
inf105-d54af790f7e6920206dfb24c48164448b294935a.tar.bz2
Add missing transition on Thompson automaton.
-rw-r--r--controle-20170330.tex55
-rw-r--r--figs/cn2p1.dot1
2 files changed, 29 insertions, 27 deletions
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}
diff --git a/figs/cn2p1.dot b/figs/cn2p1.dot
index fd3c57e..7fbed18 100644
--- a/figs/cn2p1.dot
+++ b/figs/cn2p1.dot
@@ -25,6 +25,7 @@ digraph cn2p1 {
q6 -> q7 [label="e",texlbl="{}"];
q7 -> q8 [label="e",texlbl="{}"];
q8 -> q9 [label="a"];
+ q9 -> q8 [label="e",texlbl="{}"];
q9 -> q10 [label="e",texlbl="{}"];
q10 -> q11 [label="e",texlbl="{}"];
q7 -> q10 [label="e",texlbl="{}"];