diff options
| author | David A. Madore <david+git@madore.org> | 2016-11-30 17:55:20 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2016-11-30 17:55:20 +0100 |
| commit | 724a5e10fd98080f49709ec5081fe1ff41c73625 (patch) | |
| tree | 23f92adb65aeaa7416cdfa9205d31eb7fcf46045 /figs | |
| parent | 5bfe437e9e7087fc3ddaf2cbdf49cbef51fe9b31 (diff) | |
| download | inf105-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.dot | 8 |
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"]; } |