From 5e179bfadb1d73779f69737dea611c43c6d48587 Mon Sep 17 00:00:00 2001 From: Nathan Lasseter Date: Sun, 24 Mar 2013 13:05:46 +0000 Subject: Parser for syntax v2, more examples, formatted output to (()) accepting nodes --- examples/mfcs.vfsm | 15 +++++++++++++++ examples/mfcs2.vfsm | 19 +++++++++++++++++++ 2 files changed, 34 insertions(+) create mode 100644 examples/mfcs.vfsm create mode 100644 examples/mfcs2.vfsm (limited to 'examples') 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: diff --git a/examples/mfcs2.vfsm b/examples/mfcs2.vfsm new file mode 100644 index 0000000..2e70532 --- /dev/null +++ b/examples/mfcs2.vfsm @@ -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