diff --git a/examples/automaton/NFSM5.DET.MIN.xml b/examples/automaton/NFSM5.DET.MIN.xml new file mode 100644 index 0000000000000000000000000000000000000000..906bc8b8728944050d3ca7a0aad97cbfb84b3027 --- /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 0000000000000000000000000000000000000000..31d4fe17e35719980044098da5c01270ca1b2aef --- /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