summaryrefslogtreecommitdiffstats
path: root/figs/ex1p2c.dot
diff options
context:
space:
mode:
Diffstat (limited to 'figs/ex1p2c.dot')
-rw-r--r--figs/ex1p2c.dot36
1 files changed, 36 insertions, 0 deletions
diff --git a/figs/ex1p2c.dot b/figs/ex1p2c.dot
new file mode 100644
index 0000000..84317c1
--- /dev/null
+++ b/figs/ex1p2c.dot
@@ -0,0 +1,36 @@
+digraph ex1p2c {
+ rankdir="LR";
+ node [texmode="math",shape="circle",style="state"];
+ q0 [style="state,initial",label="0"];
+ q05 [style="state",label="05"];
+ q056 [style="state,final,accepting below",label="056"];
+ q02 [style="state",label="02"];
+ q023 [style="state,final,accepting above",label="023"];
+ q057 [style="state,final",label="057"];
+ q0567 [style="state,final,accepting above",label="0567"];
+ q027 [style="state,final",label="027"];
+ q0237 [style="state,final,accepting below",label="0237"];
+ edge [texmode="math",lblstyle="auto"];
+ q0 -> q05 [label="b"];
+ q0 -> q02 [label="a"];
+ q05 -> q02 [label="a"];
+ q02 -> q05 [label="b"];
+ { rank="same"; q05; q02; }
+ q05 -> q056 [label="b"];
+ q02 -> q023 [label="a"];
+ q056 -> q0567 [label="b"];
+ q056 -> q027 [label="a"];
+ q023 -> q0237 [label="a"];
+ q023 -> q057 [label="b"];
+ { rank="same"; q056; q023; }
+ q0567 -> q027 [label="a",lblstyle="auto,below"];
+ q027 -> q057 [label="b"];
+ q057 -> q0237 [label="a"];
+ q0237 -> q057 [label="b"];
+ q057 -> q027 [label="a"];
+ q027 -> q0567 [label="b",lblstyle="auto,above"];
+ { rank="same"; q057; q027; }
+ { rank="same"; q0567; q0237; }
+ q0237 -> q0237 [label="a",topath="loop above"];
+ q0567 -> q0567 [label="b",topath="loop below"];
+}