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/nondet.ndfa | |
parent | d9fbb2c4900b008daa9c5e0302677f9d1674a473 (diff) |
Updated file endings for examples
Diffstat (limited to 'examples/nondet.ndfa')
-rw-r--r-- | examples/nondet.ndfa | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/examples/nondet.ndfa b/examples/nondet.ndfa new file mode 100644 index 0000000..dad024a --- /dev/null +++ b/examples/nondet.ndfa @@ -0,0 +1,11 @@ +start: s0 + +accept: s3 + +edges: + s0 epsilon: s3 + s0 a s1 + s0 a s2 + s1 a s3 + s2 b s3 +end: |