diff options
| author | Nathan Lasseter <nathan@4574.co.uk> | 2014-03-29 18:27:13 +0000 |
|---|---|---|
| committer | Nathan Lasseter <nathan@4574.co.uk> | 2014-03-29 18:27:13 +0000 |
| commit | 1e799f72df429beceb42aa8d1ce640e5e2c5210e (patch) | |
| tree | e137fa46147725e55bb23537b9f0ff24bf1d3984 /examples/mfcs2.dfa | |
| parent | d9fbb2c4900b008daa9c5e0302677f9d1674a473 (diff) | |
Updated file endings for examples
Diffstat (limited to 'examples/mfcs2.dfa')
| -rw-r--r-- | examples/mfcs2.dfa | 19 |
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: |