From 1e799f72df429beceb42aa8d1ce640e5e2c5210e Mon Sep 17 00:00:00 2001 From: Nathan Lasseter Date: Sat, 29 Mar 2014 18:27:13 +0000 Subject: Updated file endings for examples --- examples/abc.dfa | 19 +++++++++++++++++++ examples/abc.vfsm | 19 ------------------- examples/even.dfa | 17 +++++++++++++++++ examples/even.vfsm | 17 ----------------- examples/helloworld.dfa | 14 ++++++++++++++ examples/helloworld.vfsm | 14 -------------- examples/looptest.ndfa | 12 ++++++++++++ examples/looptest.vfsm | 12 ------------ examples/mfcs.dfa | 15 +++++++++++++++ examples/mfcs.vfsm | 15 --------------- examples/mfcs2.dfa | 19 +++++++++++++++++++ examples/mfcs2.vfsm | 19 ------------------- examples/nondet.ndfa | 11 +++++++++++ examples/nondet.vfsm | 11 ----------- examples/psc.dfa | 15 +++++++++++++++ examples/psc.vfsm | 15 --------------- 16 files changed, 122 insertions(+), 122 deletions(-) create mode 100644 examples/abc.dfa delete mode 100644 examples/abc.vfsm create mode 100644 examples/even.dfa delete mode 100644 examples/even.vfsm create mode 100644 examples/helloworld.dfa delete mode 100644 examples/helloworld.vfsm create mode 100644 examples/looptest.ndfa delete mode 100644 examples/looptest.vfsm create mode 100644 examples/mfcs.dfa delete mode 100644 examples/mfcs.vfsm create mode 100644 examples/mfcs2.dfa delete mode 100644 examples/mfcs2.vfsm create mode 100644 examples/nondet.ndfa delete mode 100644 examples/nondet.vfsm create mode 100644 examples/psc.dfa delete mode 100644 examples/psc.vfsm (limited to 'examples') diff --git a/examples/abc.dfa b/examples/abc.dfa new file mode 100644 index 0000000..691d5f6 --- /dev/null +++ b/examples/abc.dfa @@ -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/abc.vfsm b/examples/abc.vfsm deleted file mode 100644 index 691d5f6..0000000 --- a/examples/abc.vfsm +++ /dev/null @@ -1,19 +0,0 @@ -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.dfa b/examples/even.dfa new file mode 100644 index 0000000..cc281b2 --- /dev/null +++ b/examples/even.dfa @@ -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/even.vfsm b/examples/even.vfsm deleted file mode 100644 index cc281b2..0000000 --- a/examples/even.vfsm +++ /dev/null @@ -1,17 +0,0 @@ -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.dfa b/examples/helloworld.dfa new file mode 100644 index 0000000..ab808f0 --- /dev/null +++ b/examples/helloworld.dfa @@ -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: diff --git a/examples/helloworld.vfsm b/examples/helloworld.vfsm deleted file mode 100644 index ab808f0..0000000 --- a/examples/helloworld.vfsm +++ /dev/null @@ -1,14 +0,0 @@ -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: diff --git a/examples/looptest.ndfa b/examples/looptest.ndfa new file mode 100644 index 0000000..37673fd --- /dev/null +++ b/examples/looptest.ndfa @@ -0,0 +1,12 @@ +Comment: Testing the nondeterministic machine's capability to deal with lambda loops + +start: s0 +accept: s3 + +edges: + s0 0 s1 + s1 lambda: s2 + s2 epsilon: s2 + s1 0 s3 + s2 1 s3 +end: diff --git a/examples/looptest.vfsm b/examples/looptest.vfsm deleted file mode 100644 index 37673fd..0000000 --- a/examples/looptest.vfsm +++ /dev/null @@ -1,12 +0,0 @@ -Comment: Testing the nondeterministic machine's capability to deal with lambda loops - -start: s0 -accept: s3 - -edges: - s0 0 s1 - s1 lambda: s2 - s2 epsilon: s2 - s1 0 s3 - s2 1 s3 -end: diff --git a/examples/mfcs.dfa b/examples/mfcs.dfa new file mode 100644 index 0000000..2320199 --- /dev/null +++ b/examples/mfcs.dfa @@ -0,0 +1,15 @@ +comment: MFCS Problems for Lecture 1 +comment: Question 5a +comment: VFSM syntax version 2 +comment: Any 00 in the string must be followed by a 1. +comment: eg. "1 0 1" "0 0 1 0 0 1 1 0 1" + +start: s0 +accept: s0 s1 +edges: + s0 0 s1 + s1 0 s2 + s1 1 s0 + s2 1 s0 + s0 1 s0 +end: diff --git a/examples/mfcs.vfsm b/examples/mfcs.vfsm deleted file mode 100644 index 2320199..0000000 --- a/examples/mfcs.vfsm +++ /dev/null @@ -1,15 +0,0 @@ -comment: MFCS Problems for Lecture 1 -comment: Question 5a -comment: VFSM syntax version 2 -comment: Any 00 in the string must be followed by a 1. -comment: eg. "1 0 1" "0 0 1 0 0 1 1 0 1" - -start: s0 -accept: s0 s1 -edges: - s0 0 s1 - s1 0 s2 - s1 1 s0 - s2 1 s0 - s0 1 s0 -end: diff --git a/examples/mfcs2.dfa b/examples/mfcs2.dfa new file mode 100644 index 0000000..2e70532 --- /dev/null +++ b/examples/mfcs2.dfa @@ -0,0 +1,19 @@ +comment: MFCS Problems for Lecture 1 +comment: VFSM Syntax v2 +comment: Input over the alphabet {0, 1} +comment: The leftmost and rightmost input must differ + +start: start +accept: h0 h1 +edges: + start 1 q0 + q0 1 q0 + q0 0 h0 + h0 1 q0 + h0 0 h0 + start 0 q1 + q1 0 q1 + q1 1 h1 + h1 1 h1 + h1 0 q1 +end: diff --git a/examples/mfcs2.vfsm b/examples/mfcs2.vfsm deleted file mode 100644 index 2e70532..0000000 --- a/examples/mfcs2.vfsm +++ /dev/null @@ -1,19 +0,0 @@ -comment: MFCS Problems for Lecture 1 -comment: VFSM Syntax v2 -comment: Input over the alphabet {0, 1} -comment: The leftmost and rightmost input must differ - -start: start -accept: h0 h1 -edges: - start 1 q0 - q0 1 q0 - q0 0 h0 - h0 1 q0 - h0 0 h0 - start 0 q1 - q1 0 q1 - q1 1 h1 - h1 1 h1 - h1 0 q1 -end: diff --git a/examples/nondet.ndfa b/examples/nondet.ndfa new file mode 100644 index 0000000..dad024a --- /dev/null +++ b/examples/nondet.ndfa @@ -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: diff --git a/examples/nondet.vfsm b/examples/nondet.vfsm deleted file mode 100644 index dad024a..0000000 --- a/examples/nondet.vfsm +++ /dev/null @@ -1,11 +0,0 @@ -start: s0 - -accept: s3 - -edges: - s0 epsilon: s3 - s0 a s1 - s0 a s2 - s1 a s3 - s2 b s3 -end: diff --git a/examples/psc.dfa b/examples/psc.dfa new file mode 100644 index 0000000..e906108 --- /dev/null +++ b/examples/psc.dfa @@ -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: 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: -- cgit v1.2.1