diff options
| author | Nathan Lasseter <nathan.je.lasseter@googlemail.com> | 2013-03-26 19:59:45 +0000 |
|---|---|---|
| committer | Nathan Lasseter <nathan.je.lasseter@googlemail.com> | 2013-03-26 19:59:45 +0000 |
| commit | 2d1d6513b5c281e0330e232ef23189d6209fe63c (patch) | |
| tree | 5422870c84d233d4fd3ce538136534ce14e71701 | |
| parent | 5e179bfadb1d73779f69737dea611c43c6d48587 (diff) | |
Added Powerset Construction example
| -rw-r--r-- | examples/psc.vfsm | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/examples/psc.vfsm b/examples/psc.vfsm new file mode 100644 index 0000000..e906108 --- /dev/null +++ b/examples/psc.vfsm @@ -0,0 +1,15 @@ +Comment: From http://en.wikipedia.org/wiki/Powerset_construction +Start: {123} +Accept: {123} {24} {23} {4} +Edges: + {123} 0 {24} + {123} 1 {24} + {24} 0 {23} + {24} 1 {24} + {23} 0 {4} + {23} 1 {24} + {4} 0 {23} + {4} 1 {} + {} 0 {} + {} 1 {} +End: |