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/psc.vfsm | |
| parent | d9fbb2c4900b008daa9c5e0302677f9d1674a473 (diff) | |
Updated file endings for examples
Diffstat (limited to 'examples/psc.vfsm')
| -rw-r--r-- | examples/psc.vfsm | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/examples/psc.vfsm b/examples/psc.vfsm deleted file mode 100644 index e906108..0000000 --- a/examples/psc.vfsm +++ /dev/null @@ -1,15 +0,0 @@ -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: |