summaryrefslogtreecommitdiffstats
path: root/figs
diff options
context:
space:
mode:
Diffstat (limited to 'figs')
-rw-r--r--figs/example1.dot4
-rw-r--r--figs/example1b.dot4
-rw-r--r--figs/example2.dot6
-rw-r--r--figs/example2b.dot13
-rw-r--r--figs/example2c.dot18
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"];
+}