summaryrefslogtreecommitdiffstats
path: root/figs
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 /figs
parent5e0904e096d82d7c97a5777ad84146272db4848d (diff)
downloadinf105-af0d7fb5e770459ea3a468af12a4371730fa6098.tar.gz
inf105-af0d7fb5e770459ea3a468af12a4371730fa6098.tar.bz2
inf105-af0d7fb5e770459ea3a468af12a4371730fa6098.zip
Fix mistake in determinization of automaton.
Diffstat (limited to 'figs')
-rw-r--r--figs/example4det.dot3
1 files changed, 2 insertions, 1 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"];
}