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 ++-- figs/example1b.dot | 4 ++-- figs/example2.dot | 6 +++--- figs/example2b.dot | 13 +++++++++++++ figs/example2c.dot | 18 ++++++++++++++++++ 5 files changed, 38 insertions(+), 7 deletions(-) create mode 100644 figs/example2b.dot create mode 100644 figs/example2c.dot (limited to 'figs') 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"]; } 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"]; 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"]; } diff --git a/figs/example2b.dot b/figs/example2b.dot new file mode 100644 index 0000000..acc60d2 --- /dev/null +++ b/figs/example2b.dot @@ -0,0 +1,13 @@ +digraph example2b { + rankdir="LR"; + node [texmode="math",shape="circle",style="state"]; + q0 [style="state,initial",label="0"]; + q1 [style="state",label="1"]; + q2 [style="state,final",label="2"]; + edge [texmode="math",lblstyle="auto"]; + q0 -> q0 [label="c",topath="loop above"]; + q0 -> q1 [label="a"]; + q1 -> q1 [label="c",topath="loop above"]; + q1 -> q2 [label="b"]; + q2 -> q2 [label="c",topath="loop above"]; +} diff --git a/figs/example2c.dot b/figs/example2c.dot new file mode 100644 index 0000000..c58ec4f --- /dev/null +++ b/figs/example2c.dot @@ -0,0 +1,18 @@ +digraph example2c { + rankdir="LR"; + node [texmode="math",shape="circle",style="state"]; + edge [texmode="math",lblstyle="auto"]; + q0 [style="state,initial",label="0"]; + q1 [style="state",label="1"]; + q2 [style="state,final",label="2"]; + qbot [style="state",label="\bot"]; + q0 -> q0 [label="c",topath="loop above"]; + q0 -> q1 [label="a"]; + q1 -> q1 [label="c",topath="loop above"]; + q1 -> q2 [label="b"]; + q2 -> q2 [label="c",topath="loop above"]; + q0 -> qbot [label="b"]; + { rank="same"; q1 -> qbot [label="a"]; } + q2 -> qbot [label="a,b"]; + qbot -> qbot [label="a,b,c",topath="loop below"]; +} -- cgit v1.2.3