From 1e799f72df429beceb42aa8d1ce640e5e2c5210e Mon Sep 17 00:00:00 2001
From: Nathan Lasseter <nathan@4574.co.uk>
Date: Sat, 29 Mar 2014 18:27:13 +0000
Subject: Updated file endings for examples

---
 examples/mfcs2.dfa | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 examples/mfcs2.dfa

(limited to 'examples/mfcs2.dfa')

diff --git a/examples/mfcs2.dfa b/examples/mfcs2.dfa
new file mode 100644
index 0000000..2e70532
--- /dev/null
+++ b/examples/mfcs2.dfa
@@ -0,0 +1,19 @@
+comment: MFCS Problems for Lecture 1
+comment: VFSM Syntax v2
+comment: Input over the alphabet {0, 1}
+comment: The leftmost and rightmost input must differ
+
+start: start
+accept: h0 h1
+edges:
+	start 1 q0
+	q0 1 q0
+	q0 0 h0
+	h0 1 q0
+	h0 0 h0
+	start 0 q1
+	q1 0 q1
+	q1 1 h1
+	h1 1 h1
+	h1 0 q1
+end:
-- 
cgit v1.2.1