From 724a5e10fd98080f49709ec5081fe1ff41c73625 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
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