From d4cc0df0ae523852aa843ea8df0604d15c10e0c9 Mon Sep 17 00:00:00 2001 From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz> Date: Mon, 31 Mar 2014 19:36:07 +0200 Subject: [PATCH] new example FSMs, tests.conversion is executable --- examples/automaton/NFSM5.DET.MIN.xml | 107 ++++++++++++++++++++++++++ examples/automaton/NFSM5.xml | 108 +++++++++++++++++++++++++++ tests.aconversion.sh | 0 3 files changed, 215 insertions(+) create mode 100644 examples/automaton/NFSM5.DET.MIN.xml create mode 100644 examples/automaton/NFSM5.xml mode change 100644 => 100755 tests.aconversion.sh diff --git a/examples/automaton/NFSM5.DET.MIN.xml b/examples/automaton/NFSM5.DET.MIN.xml new file mode 100644 index 0000000000..906bc8b872 --- /dev/null +++ b/examples/automaton/NFSM5.DET.MIN.xml @@ -0,0 +1,107 @@ +<automaton> + <states> + <state>0</state> + <state>1</state> + <state>2</state> + <state>3</state> + <state>4</state> + <state>5</state> + <state>6</state> + <state>7</state> + <state>8</state> + <state>9</state> + </states> + <inputAlphabet> + <symbol>f</symbol> + <symbol>i</symbol> + <symbol>l</symbol> + <symbol>z</symbol> + </inputAlphabet> + <transitions> + <transition> + <from>0</from> + <input>l</input> + <to>1</to> + </transition> + <transition> + <from>1</from> + <input>i</input> + <to>2</to> + </transition> + <transition> + <from>1</from> + <input>l</input> + <to>3</to> + </transition> + <transition> + <from>1</from> + <input>z</input> + <to>4</to> + </transition> + <transition> + <from>3</from> + <input>l</input> + <to>4</to> + </transition> + <transition> + <from>3</from> + <input>z</input> + <to>5</to> + </transition> + <transition> + <from>4</from> + <input>f</input> + <to>6</to> + </transition> + <transition> + <from>4</from> + <input>l</input> + <to>7</to> + </transition> + <transition> + <from>5</from> + <input>l</input> + <to>6</to> + </transition> + <transition> + <from>6</from> + <input>f</input> + <to>8</to> + </transition> + <transition> + <from>7</from> + <input>f</input> + <to>2</to> + </transition> + <transition> + <from>7</from> + <input>i</input> + <to>9</to> + </transition> + <transition> + <from>7</from> + <input>l</input> + <to>6</to> + </transition> + <transition> + <from>8</from> + <input>z</input> + <to>8</to> + </transition> + <transition> + <from>9</from> + <input>l</input> + <to>0</to> + </transition> + </transitions> + <initialStates> + <state>0</state> + </initialStates> + <finalStates> + <state>2</state> + <state>5</state> + <state>7</state> + <state>8</state> + <state>9</state> + </finalStates> +</automaton> diff --git a/examples/automaton/NFSM5.xml b/examples/automaton/NFSM5.xml new file mode 100644 index 0000000000..31d4fe17e3 --- /dev/null +++ b/examples/automaton/NFSM5.xml @@ -0,0 +1,108 @@ +<automaton> + <states> + <state>0</state> + <state>1</state> + <state>10</state> + <state>2</state> + <state>3</state> + <state>4</state> + <state>5</state> + <state>6</state> + <state>7</state> + <state>8</state> + <state>9</state> + </states> + <inputAlphabet> + <symbol>f</symbol> + <symbol>i</symbol> + <symbol>l</symbol> + <symbol>z</symbol> + </inputAlphabet> + <transitions> + <transition> + <from>0</from> + <input>l</input> + <to>5</to> + </transition> + <transition> + <from>1</from> + <input>l</input> + <to>3</to> + </transition> + <transition> + <from>10</from> + <input>z</input> + <to>10</to> + </transition> + <transition> + <from>2</from> + <input>f</input> + <to>3</to> + </transition> + <transition> + <from>2</from> + <input>l</input> + <to>1</to> + </transition> + <transition> + <from>2</from> + <input>l</input> + <to>7</to> + </transition> + <transition> + <from>3</from> + <input>f</input> + <to>10</to> + </transition> + <transition> + <from>4</from> + <input>l</input> + <to>2</to> + </transition> + <transition> + <from>4</from> + <input>z</input> + <to>1</to> + </transition> + <transition> + <from>5</from> + <input>i</input> + <to>6</to> + </transition> + <transition> + <from>5</from> + <input>l</input> + <to>4</to> + </transition> + <transition> + <from>5</from> + <input>z</input> + <to>2</to> + </transition> + <transition> + <from>7</from> + <input>f</input> + <to>9</to> + </transition> + <transition> + <from>7</from> + <input>i</input> + <to>8</to> + </transition> + <transition> + <from>8</from> + <input>l</input> + <to>0</to> + </transition> + </transitions> + <initialStates> + <state>0</state> + </initialStates> + <finalStates> + <state>1</state> + <state>10</state> + <state>6</state> + <state>8</state> + <state>9</state> + </finalStates> +</automaton> diff --git a/tests.aconversion.sh b/tests.aconversion.sh old mode 100644 new mode 100755 -- GitLab