From af0d7fb5e770459ea3a468af12a4371730fa6098 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Thu, 1 Dec 2016 11:56:43 +0100
Subject: Fix mistake in determinization of automaton.

---
 figs/example4det.dot | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'figs')

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"];
 }
-- 
cgit v1.2.3