From 771cdb55c4a30be16ddafebc9b43f087765f9876 Mon Sep 17 00:00:00 2001 From: Nathan Lasseter Date: Sat, 23 Mar 2013 22:10:22 +0000 Subject: First commit --- examples/abc.vfsm | 19 +++++++++++++++++++ examples/even.vfsm | 17 +++++++++++++++++ examples/helloworld.vfsm | 14 ++++++++++++++ 3 files changed, 50 insertions(+) create mode 100644 examples/abc.vfsm create mode 100644 examples/even.vfsm create mode 100644 examples/helloworld.vfsm (limited to 'examples') 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: -- cgit v1.2.3