From f6780feb6aae79f7a476547cb68b37b97bc5d585 Mon Sep 17 00:00:00 2001 From: "David A. Madore" Date: Wed, 23 Nov 2016 15:41:06 +0100 Subject: Incomplete DFAs. Change formating of self-loops in graphs. --- figs/example1b.dot | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'figs/example1b.dot') diff --git a/figs/example1b.dot b/figs/example1b.dot index 09fecd0..e6b8c22 100644 --- a/figs/example1b.dot +++ b/figs/example1b.dot @@ -5,8 +5,8 @@ digraph example1b { q1 [style="state,final",label="1"]; q2 [style="state,final",label="2"]; edge [texmode="math",lblstyle="auto"]; - q0 -> q0 [label="a"]; - q1 -> q1 [label="a"]; + q0 -> q0 [label="a",topath="loop above"]; + q1 -> q1 [label="a",topath="loop above"]; q0 -> q1 [label="b"]; q1 -> q0 [label="b"]; q1 -> q2 [style="invisible"]; -- cgit v1.2.3