diff options
| author | Nathan Lasseter <nathan@4574.co.uk> | 2013-05-01 22:18:40 +0100 |
|---|---|---|
| committer | Nathan Lasseter <nathan@4574.co.uk> | 2013-05-01 22:18:40 +0100 |
| commit | 56f5296893cb375c49ea716dbed8b15c280b49de (patch) | |
| tree | 4251d6da97bc689ea0bec7211d541046f5ad117b /examples/nondet.vfsm | |
| parent | 2d1d6513b5c281e0330e232ef23189d6209fe63c (diff) | |
Adding non-determinism
Diffstat (limited to 'examples/nondet.vfsm')
| -rw-r--r-- | examples/nondet.vfsm | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/examples/nondet.vfsm b/examples/nondet.vfsm new file mode 100644 index 0000000..dad024a --- /dev/null +++ b/examples/nondet.vfsm @@ -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: |