From 724a5e10fd98080f49709ec5081fe1ff41c73625 Mon Sep 17 00:00:00 2001 From: "David A. Madore" Date: Wed, 30 Nov 2016 17:55:20 +0100 Subject: Fix mistake in minimization of automaton. --- figs/ex1p2c.dot | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'figs') 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"]; } -- cgit v1.2.3