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/example2.dot | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'figs/example2.dot') diff --git a/figs/example2.dot b/figs/example2.dot index 982c3bc..0daecc0 100644 --- a/figs/example2.dot +++ b/figs/example2.dot @@ -5,9 +5,9 @@ digraph example2 { q1 [style="state",label="1"]; q2 [style="state,final",label="2"]; edge [texmode="math",lblstyle="auto"]; - q0 -> q0 [label="b,c"]; + q0 -> q0 [label="b,c",topath="loop above"]; q0 -> q1 [label="a"]; - q1 -> q1 [label="a,c"]; + q1 -> q1 [label="a,c",topath="loop above"]; q1 -> q2 [label="b"]; - q2 -> q2 [label="a,b,c"]; + q2 -> q2 [label="a,b,c",topath="loop above"]; } -- cgit v1.2.3