Incomplete DFAs. Change formating of self-loops in graphs.

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"];
+}