diff options
| author | Nathan Lasseter <nathan.je.lasseter@googlemail.com> | 2013-03-23 22:10:22 +0000 |
|---|---|---|
| committer | Nathan Lasseter <nathan.je.lasseter@googlemail.com> | 2013-03-23 22:10:22 +0000 |
| commit | 771cdb55c4a30be16ddafebc9b43f087765f9876 (patch) | |
| tree | e4593a3c31f9cbced6d5e8ea81e7b788bbb5afd5 /examples | |
First commit
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/abc.vfsm | 19 | ||||
| -rw-r--r-- | examples/even.vfsm | 17 | ||||
| -rw-r--r-- | examples/helloworld.vfsm | 14 |
3 files changed, 50 insertions, 0 deletions
diff --git a/examples/abc.vfsm b/examples/abc.vfsm new file mode 100644 index 0000000..691d5f6 --- /dev/null +++ b/examples/abc.vfsm @@ -0,0 +1,19 @@ +Comment: This machine accepts any number of "a b c" +Comment: Eg. "a b c a b c" +Comment: VFSM example +Comment: Nathan Lasseter (User_4574) 2013 + +Nodes: Start firsta firstb S0 S1 HA + +Start: Start + +Accept: HA + +Edges: + Start a firsta + firsta b firstb + firstb c HA + HA a S0 + S0 b S1 + S1 c HA +End: diff --git a/examples/even.vfsm b/examples/even.vfsm new file mode 100644 index 0000000..cc281b2 --- /dev/null +++ b/examples/even.vfsm @@ -0,0 +1,17 @@ +Comment: This machine accepts any even binary number +Comment: Eg. "0 1 0 0 1 0" +Comment: VFSM example +Comment: Nathan Lasseter (User_4574) 2013 + +Nodes: Start HA + +Start: Start + +Accept: HA + +Edges: + Start 1 Start + Start 0 HA + HA 1 Start + HA 0 HA +End: diff --git a/examples/helloworld.vfsm b/examples/helloworld.vfsm new file mode 100644 index 0000000..ab808f0 --- /dev/null +++ b/examples/helloworld.vfsm @@ -0,0 +1,14 @@ +Comment: This machine accepts "hello world" +Comment: VFSM example +Comment: Nathan Lasseter (User_4574) 2013 + +Nodes: Start S0 HA + +Start: Start + +Accept: HA + +Edges: + Start hello S0 + S0 world HA +End: |