From 0eca47be5d745d3bd21733a2a88c032d6869989d Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Mon, 14 Nov 2016 15:13:10 +0100
Subject: Start defining DFAs, and give a first example (typeset with dot2tex +
 TikZ).

---
 figs/example1.dot | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 figs/example1.dot

(limited to 'figs')

diff --git a/figs/example1.dot b/figs/example1.dot
new file mode 100644
index 0000000..60873a6
--- /dev/null
+++ b/figs/example1.dot
@@ -0,0 +1,11 @@
+digraph example1 {
+	rankdir="LR";
+	node [texmode="math",shape="circle",style="state"];
+	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 -> q1 [label="b"];
+	q1 -> q0 [label="b"];
+}
-- 
cgit v1.2.3