summaryrefslogtreecommitdiffstats
path: root/figs
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2016-11-30 17:55:20 +0100
committerDavid A. Madore <david+git@madore.org>2016-11-30 17:55:20 +0100
commit724a5e10fd98080f49709ec5081fe1ff41c73625 (patch)
tree23f92adb65aeaa7416cdfa9205d31eb7fcf46045 /figs
parent5bfe437e9e7087fc3ddaf2cbdf49cbef51fe9b31 (diff)
downloadinf105-724a5e10fd98080f49709ec5081fe1ff41c73625.tar.gz
inf105-724a5e10fd98080f49709ec5081fe1ff41c73625.tar.bz2
inf105-724a5e10fd98080f49709ec5081fe1ff41c73625.zip
Fix mistake in minimization of automaton.
Diffstat (limited to 'figs')
-rw-r--r--figs/ex1p2c.dot8
1 files changed, 5 insertions, 3 deletions
diff --git a/figs/ex1p2c.dot b/figs/ex1p2c.dot
index 84317c1..b7ce3d3 100644
--- a/figs/ex1p2c.dot
+++ b/figs/ex1p2c.dot
@@ -19,18 +19,20 @@ digraph ex1p2c {
q05 -> q056 [label="b"];
q02 -> q023 [label="a"];
q056 -> q0567 [label="b"];
- q056 -> q027 [label="a"];
+ q056 -> q027 [label="a",lblstyle="auto,below"];
q023 -> q0237 [label="a"];
q023 -> q057 [label="b"];
{ rank="same"; q056; q023; }
q0567 -> q027 [label="a",lblstyle="auto,below"];
q027 -> q057 [label="b"];
- q057 -> q0237 [label="a"];
+ q057 -> q0237 [style="invis"];
q0237 -> q057 [label="b"];
q057 -> q027 [label="a"];
- q027 -> q0567 [label="b",lblstyle="auto,above"];
+ q027 -> q0567 [style="invis"];
{ rank="same"; q057; q027; }
{ rank="same"; q0567; q0237; }
q0237 -> q0237 [label="a",topath="loop above"];
q0567 -> q0567 [label="b",topath="loop below"];
+ q057 -> q0567 [label="b"];
+ q027 -> q0237 [label="a"];
}