1 files changed, 19 insertions, 0 deletions
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: