summaryrefslogtreecommitdiffstats
path: root/figs/ex3p1b.dot
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2017-01-27 17:36:19 (GMT)
committerDavid A. Madore <david+git@madore.org>2017-01-27 17:36:19 (GMT)
commit16db49ec807cca5e201243d35b16eed028d03ae8 (patch)
tree838f7478ab7532e5065d9d08d48bc76b6ae1a494 /figs/ex3p1b.dot
parent64deabcf51fe764a0787d200512a0e5c59c68140 (diff)
downloadinf105-16db49ec807cca5e201243d35b16eed028d03ae8.zip
inf105-16db49ec807cca5e201243d35b16eed028d03ae8.tar.gz
inf105-16db49ec807cca5e201243d35b16eed028d03ae8.tar.bz2
An exercise on finite automata.
Diffstat (limited to 'figs/ex3p1b.dot')
-rw-r--r--figs/ex3p1b.dot19
1 files changed, 19 insertions, 0 deletions
diff --git a/figs/ex3p1b.dot b/figs/ex3p1b.dot
new file mode 100644
index 0000000..cce02d8
--- /dev/null
+++ b/figs/ex3p1b.dot
@@ -0,0 +1,19 @@
+digraph ex3p1b {
+ rankdir="LR";
+ node [texmode="math",shape="circle",style="state"];
+ q0 [style="state,initial,final,accepting below",label="0"];
+ q2 [style="state,final",label="2"];
+ q6 [style="state",label="6"];
+ q8 [style="state,final,accepting above",label="8"];
+ q11 [style="state,final,accepting below",label="11"];
+ edge [texmode="math",lblstyle="auto"];
+ q0 -> q2 [label="a"];
+ q2 -> q2 [label="a",topath="loop above"];
+ q2 -> q6 [label="b"];
+ q0 -> q6 [label="b",lblstyle="auto,below"];
+ q6 -> q8 [label="a"];
+ q8 -> q11 [label="a"];
+ q11 -> q11 [label="a",topath="loop above"];
+ q8 -> q6 [label="b",lblstyle="auto,near start"];
+ q11 -> q6 [label="b",lblstyle="auto,near start"];
+}