diff options
| -rw-r--r-- | controle-20170330.tex | 55 | ||||
| -rw-r--r-- | figs/cn2p1.dot | 1 |
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="{}"]; |