diff options
| author | Nathan Lasseter <nathan.je.lasseter@googlemail.com> | 2013-03-24 13:05:46 +0000 |
|---|---|---|
| committer | Nathan Lasseter <nathan.je.lasseter@googlemail.com> | 2013-03-24 13:05:46 +0000 |
| commit | 5e179bfadb1d73779f69737dea611c43c6d48587 (patch) | |
| tree | 5cd56f08b7d08c2066b9eed08f1dd1ee8fe13d6c /examples/mfcs.vfsm | |
| parent | 771cdb55c4a30be16ddafebc9b43f087765f9876 (diff) | |
Parser for syntax v2, more examples, formatted output to (()) accepting nodes
Diffstat (limited to 'examples/mfcs.vfsm')
| -rw-r--r-- | examples/mfcs.vfsm | 15 |
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: |