summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2016-12-01 11:56:43 +0100
committerDavid A. Madore <david+git@madore.org>2016-12-01 11:56:43 +0100
commitaf0d7fb5e770459ea3a468af12a4371730fa6098 (patch)
tree18af41dce48f51ce5777f5f9ac99c2db5b297cac
parent5e0904e096d82d7c97a5777ad84146272db4848d (diff)
downloadinf105-af0d7fb5e770459ea3a468af12a4371730fa6098.tar.gz
inf105-af0d7fb5e770459ea3a468af12a4371730fa6098.tar.bz2
inf105-af0d7fb5e770459ea3a468af12a4371730fa6098.zip
Fix mistake in determinization of automaton.
-rw-r--r--figs/example4det.dot3
-rw-r--r--notes-inf105.tex21
2 files changed, 13 insertions, 11 deletions
diff --git a/figs/example4det.dot b/figs/example4det.dot
index 7121690..3af6aa5 100644
--- a/figs/example4det.dot
+++ b/figs/example4det.dot
@@ -12,5 +12,6 @@ digraph example4det {
q01 -> q02 [label="b"];
q012 -> q012 [label="a",topath="loop above"];
{ rank="same"; q012 -> q02 [label="b"]; }
- q02 -> q0 [label="a,b"];
+ q02 -> q0 [label="b"];
+ q02 -> q01 [label="a"];
}
diff --git a/notes-inf105.tex b/notes-inf105.tex
index a44d1ad..3e2e511 100644
--- a/notes-inf105.tex
+++ b/notes-inf105.tex
@@ -1446,19 +1446,20 @@ procédant ainsi, on constuit l'automate à $4$ états qui suit :
\pgfsetstrokecolor{strokecol}
\definecolor{fillcol}{rgb}{1.0,1.0,1.0};
\pgfsetfillcolor{fillcol}
- \filldraw (0bp,0bp) -- (0bp,155bp) -- (212bp,155bp) -- (212bp,0bp) -- cycle;
+ \filldraw (0bp,0bp) -- (0bp,163bp) -- (212bp,163bp) -- (212bp,0bp) -- cycle;
\end{scope}
- \node (q02) at (188bp,19bp) [draw,circle,state,final] {$\{0,2\}$};
- \node (q0) at (18bp,40bp) [draw,circle,state,initial] {$\{0\}$};
- \node (q01) at (100bp,71bp) [draw,circle,state] {$\{0,1\}$};
- \node (q012) at (188bp,98bp) [draw,circle,state,final] {$\{0,1,2\}$};
- \draw [->] (q01) ..controls (129.79bp,53.593bp) and (147.53bp,42.867bp) .. node[auto] {$b$} (q02);
- \draw [->] (q0) ..controls (45.781bp,50.378bp) and (59.874bp,55.839bp) .. node[auto] {$a$} (q01);
+ \node (q02) at (188bp,27bp) [draw,circle,state,final] {$\{0,2\}$};
+ \node (q0) at (18bp,18bp) [draw,circle,state,initial] {$\{0\}$};
+ \node (q01) at (100bp,56bp) [draw,circle,state] {$\{0,1\}$};
+ \node (q012) at (188bp,106bp) [draw,circle,state,final] {$\{0,1,2\}$};
+ \draw [->] (q01) ..controls (127.39bp,49.663bp) and (137.27bp,46.959bp) .. (146bp,44bp) .. controls (150.77bp,42.384bp) and (155.77bp,40.486bp) .. node[auto] {$b$} (q02);
+ \draw [->] (q02) ..controls (159.35bp,21.739bp) and (147.76bp,21.451bp) .. (138bp,25bp) .. controls (132.05bp,27.164bp) and (126.38bp,30.754bp) .. node[auto] {$a$} (q01);
+ \draw [->] (q0) ..controls (45.691bp,30.678bp) and (60.407bp,37.668bp) .. node[auto] {$a$} (q01);
\draw [->] (q0) to[loop above] node[auto] {$b$} (q0);
- \draw [->] (q01) ..controls (129.27bp,79.877bp) and (142.8bp,84.122bp) .. node[auto] {$a$} (q012);
+ \draw [->] (q01) ..controls (128.64bp,72.07bp) and (144.34bp,81.198bp) .. node[auto] {$a$} (q012);
\draw [->] (q012) to[loop above] node[auto] {$a$} (q012);
- \draw [->] (q02) ..controls (146.97bp,21.169bp) and (110.83bp,23.684bp) .. (80bp,28bp) .. controls (68.696bp,29.582bp) and (56.322bp,31.905bp) .. node[auto] {$a,b$} (q0);
- \draw [->] (q012) ..controls (188bp,65.926bp) and (188bp,56.965bp) .. node[auto] {$b$} (q02);
+ \draw [->] (q02) ..controls (155.56bp,18.853bp) and (136.78bp,14.735bp) .. (120bp,13bp) .. controls (102.32bp,11.172bp) and (97.763bp,12.273bp) .. (80bp,13bp) .. controls (68.968bp,13.451bp) and (56.843bp,14.36bp) .. node[auto] {$b$} (q0);
+ \draw [->] (q012) ..controls (188bp,73.926bp) and (188bp,64.965bp) .. node[auto] {$b$} (q02);
%
\end{tikzpicture}