diff options
Diffstat (limited to 'figs')
| -rw-r--r-- | figs/example1.dot | 4 | ||||
| -rw-r--r-- | figs/example1b.dot | 4 | ||||
| -rw-r--r-- | figs/example2.dot | 6 | ||||
| -rw-r--r-- | figs/example2b.dot | 13 | ||||
| -rw-r--r-- | figs/example2c.dot | 18 |
5 files changed, 38 insertions, 7 deletions
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"]; +} |