1 files changed, 15 insertions, 0 deletions
diff --git a/examples/mfcs.vfsm b/examples/mfcs.vfsm
new file mode 100644
index 0000000..2320199
--- /dev/null
+++ b/examples/mfcs.vfsm
@@ -0,0 +1,15 @@
+comment: MFCS Problems for Lecture 1
+comment: Question 5a
+comment: VFSM syntax version 2
+comment: Any 00 in the string must be followed by a 1.
+comment: eg. "1 0 1" "0 0 1 0 0 1 1 0 1"
+
+start: s0
+accept: s0 s1
+edges:
+	s0 0 s1
+	s1 0 s2
+	s1 1 s0
+	s2 1 s0
+	s0 1 s0
+end: