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/example1.dot | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'figs/example1.dot') diff --git a/figs/example1.dot b/figs/example1.dot index 60873a6..dc824b2 100644 --- a/figs/example1.dot +++ b/figs/example1.dot @@ -4,8 +4,8 @@ digraph example1 { q0 [style="state,initial",label="0"]; q1 [style="state,final",label="1"]; 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"]; } -- cgit v1.2.3