diff --git a/examples/automaton/NFSM2.DET.xml b/examples/automaton/NFSM2.DET.xml deleted file mode 100644 index 6c895d61bb99185b1527c1a8808f784ef311fe2e..0000000000000000000000000000000000000000 --- a/examples/automaton/NFSM2.DET.xml +++ /dev/null @@ -1,115 +0,0 @@ -<automaton> - <states> - <state>['S']</state> - <state>['A', 'B']</state> - <state>['C']</state> - <state>['A', 'S']</state> - <state>['A', 'B', 'C']</state> - <state>['A', 'C']</state> - <state>['A', 'C', 'S']</state> - <state>['A']</state> - <state>['A', 'B', 'C', 'S']</state> - </states> - <inputAlphabet> - <symbol>0</symbol> - <symbol>1</symbol> - </inputAlphabet> - <transitions> - <transition> - <from>['S']</from> - <input>0</input> - <to>['A', 'B']</to> - </transition> - <transition> - <from>['S']</from> - <input>1</input> - <to>['C']</to> - </transition> - <transition> - <from>['A', 'B']</from> - <input>0</input> - <to>['C']</to> - </transition> - <transition> - <from>['A', 'B']</from> - <input>1</input> - <to>['A', 'B']</to> - </transition> - <transition> - <from>['C']</from> - <input>0</input> - <to>['A', 'S']</to> - </transition> - <transition> - <from>['A', 'S']</from> - <input>0</input> - <to>['A', 'B', 'C']</to> - </transition> - <transition> - <from>['A', 'S']</from> - <input>1</input> - <to>['A', 'C']</to> - </transition> - <transition> - <from>['A', 'B', 'C']</from> - <input>0</input> - <to>['A', 'C', 'S']</to> - </transition> - <transition> - <from>['A', 'B', 'C']</from> - <input>1</input> - <to>['A', 'B']</to> - </transition> - <transition> - <from>['A', 'C']</from> - <input>0</input> - <to>['A', 'C', 'S']</to> - </transition> - <transition> - <from>['A', 'C']</from> - <input>1</input> - <to>['A']</to> - </transition> - <transition> - <from>['A', 'C', 'S']</from> - <input>0</input> - <to>['A', 'B', 'C', 'S']</to> - </transition> - <transition> - <from>['A', 'C', 'S']</from> - <input>1</input> - <to>['A', 'C']</to> - </transition> - <transition> - <from>['A']</from> - <input>0</input> - <to>['C']</to> - </transition> - <transition> - <from>['A']</from> - <input>1</input> - <to>['A']</to> - </transition> - <transition> - <from>['A', 'B', 'C', 'S']</from> - <input>0</input> - <to>['A', 'B', 'C', 'S']</to> - </transition> - <transition> - <from>['A', 'B', 'C', 'S']</from> - <input>1</input> - <to>['A', 'B', 'C']</to> - </transition> - </transitions> - <initialStates> - <state>['S']</state> - </initialStates> - <finalStates> - <state>['A', 'B']</state> - <state>['C']</state> - <state>['A', 'B', 'C']</state> - <state>['A', 'C']</state> - <state>['A', 'C', 'S']</state> - <state>['A', 'B', 'C', 'S']</state> - </finalStates> -</automaton> diff --git a/examples/automaton/NFSM3.DET.xml b/examples/automaton/NFSM3.DET.xml deleted file mode 100644 index 27d0cd15bb77b1ce5f1ffe54bd1f2cf4d5e72dfc..0000000000000000000000000000000000000000 --- a/examples/automaton/NFSM3.DET.xml +++ /dev/null @@ -1,92 +0,0 @@ -<automaton> - <states> - <state>['S']</state> - <state>['A', 'S']</state> - <state>['B']</state> - <state>['A', 'B', 'C']</state> - <state>['A', 'C', 'S']</state> - <state>['A', 'B', 'S']</state> - <state>['A', 'B', 'C', 'S']</state> - </states> - <inputAlphabet> - <symbol>0</symbol> - <symbol>1</symbol> - </inputAlphabet> - <transitions> - <transition> - <from>['S']</from> - <input>0</input> - <to>['A', 'S']</to> - </transition> - <transition> - <from>['S']</from> - <input>1</input> - <to>['B']</to> - </transition> - <transition> - <from>['A', 'S']</from> - <input>0</input> - <to>['A', 'S']</to> - </transition> - <transition> - <from>['A', 'S']</from> - <input>1</input> - <to>['A', 'B', 'C']</to> - </transition> - <transition> - <from>['B']</from> - <input>1</input> - <to>['S']</to> - </transition> - <transition> - <from>['A', 'B', 'C']</from> - <input>0</input> - <to>['B']</to> - </transition> - <transition> - <from>['A', 'B', 'C']</from> - <input>1</input> - <to>['A', 'C', 'S']</to> - </transition> - <transition> - <from>['A', 'C', 'S']</from> - <input>0</input> - <to>['A', 'B', 'S']</to> - </transition> - <transition> - <from>['A', 'C', 'S']</from> - <input>1</input> - <to>['A', 'B', 'C']</to> - </transition> - <transition> - <from>['A', 'B', 'S']</from> - <input>0</input> - <to>['A', 'S']</to> - </transition> - <transition> - <from>['A', 'B', 'S']</from> - <input>1</input> - <to>['A', 'B', 'C', 'S']</to> - </transition> - <transition> - <from>['A', 'B', 'C', 'S']</from> - <input>0</input> - <to>['A', 'B', 'S']</to> - </transition> - <transition> - <from>['A', 'B', 'C', 'S']</from> - <input>1</input> - <to>['A', 'B', 'C', 'S']</to> - </transition> - </transitions> - <initialStates> - <state>['S']</state> - </initialStates> - <finalStates> - <state>['B']</state> - <state>['A', 'B', 'C']</state> - <state>['A', 'C', 'S']</state> - <state>['A', 'B', 'S']</state> - <state>['A', 'B', 'C', 'S']</state> - </finalStates> -</automaton> diff --git a/examples/automaton/NFSM3.xml b/examples/automaton/NFSM3.xml deleted file mode 100644 index 6612d62f6c6d4bc59500d0aa30af8eaa11f13b4f..0000000000000000000000000000000000000000 --- a/examples/automaton/NFSM3.xml +++ /dev/null @@ -1,56 +0,0 @@ -<automaton> - <states> - <state>S</state> - <state>A</state> - <state>B</state> - <state>C</state> - </states> - <inputAlphabet> - <symbol>0</symbol> - <symbol>1</symbol> - </inputAlphabet> - <transitions> - <transition> - <from>S</from> - <input>0</input> - <to>S</to> - </transition> - <transition> - <from>S</from> - <input>0</input> - <to>A</to> - </transition> - <transition> - <from>S</from> - <input>1</input> - <to>B</to> - </transition> - <transition> - <from>A</from> - <input>1</input> - <to>A</to> - </transition> - <transition> - <from>A</from> - <input>1</input> - <to>C</to> - </transition> - <transition> - <from>B</from> - <input>1</input> - <to>S</to> - </transition> - <transition> - <from>C</from> - <input>0</input> - <to>B</to> - </transition> - </transitions> - <initialStates> - <state>S</state> - </initialStates> - <finalStates> - <state>B</state> - <state>C</state> - </finalStates> -</automaton> diff --git a/examples/automaton/NFSM4.DET.xml b/examples/automaton/NFSM4.DET.xml deleted file mode 100644 index c4b79b3e7d76c6ca9d2f51820470bebea9c51890..0000000000000000000000000000000000000000 --- a/examples/automaton/NFSM4.DET.xml +++ /dev/null @@ -1,107 +0,0 @@ -<automaton> - <states> - <state>['A']</state> - <state>['A', 'B']</state> - <state>['A', 'E']</state> - <state>['A', 'B', 'C']</state> - <state>['A', 'B', 'F']</state> - <state>['A', 'D', 'E']</state> - <state>['A', 'B', 'D', 'F']</state> - <state>['A', 'B', 'C', 'D']</state> - </states> - <inputAlphabet> - <symbol>a</symbol> - <symbol>b</symbol> - </inputAlphabet> - <transitions> - <transition> - <from>['A']</from> - <input>a</input> - <to>['A', 'B']</to> - </transition> - <transition> - <from>['A']</from> - <input>b</input> - <to>['A', 'E']</to> - </transition> - <transition> - <from>['A', 'B']</from> - <input>a</input> - <to>['A', 'B', 'C']</to> - </transition> - <transition> - <from>['A', 'B']</from> - <input>b</input> - <to>['A', 'E']</to> - </transition> - <transition> - <from>['A', 'E']</from> - <input>a</input> - <to>['A', 'B', 'F']</to> - </transition> - <transition> - <from>['A', 'E']</from> - <input>b</input> - <to>['A', 'D', 'E']</to> - </transition> - <transition> - <from>['A', 'B', 'C']</from> - <input>a</input> - <to>['A', 'B', 'C', 'D']</to> - </transition> - <transition> - <from>['A', 'B', 'C']</from> - <input>b</input> - <to>['A', 'D', 'E']</to> - </transition> - <transition> - <from>['A', 'B', 'F']</from> - <input>a</input> - <to>['A', 'B', 'C']</to> - </transition> - <transition> - <from>['A', 'B', 'F']</from> - <input>b</input> - <to>['A', 'D', 'E']</to> - </transition> - <transition> - <from>['A', 'D', 'E']</from> - <input>a</input> - <to>['A', 'B', 'D', 'F']</to> - </transition> - <transition> - <from>['A', 'D', 'E']</from> - <input>b</input> - <to>['A', 'D', 'E']</to> - </transition> - <transition> - <from>['A', 'B', 'D', 'F']</from> - <input>a</input> - <to>['A', 'B', 'C', 'D']</to> - </transition> - <transition> - <from>['A', 'B', 'D', 'F']</from> - <input>b</input> - <to>['A', 'D', 'E']</to> - </transition> - <transition> - <from>['A', 'B', 'C', 'D']</from> - <input>a</input> - <to>['A', 'B', 'C', 'D']</to> - </transition> - <transition> - <from>['A', 'B', 'C', 'D']</from> - <input>b</input> - <to>['A', 'D', 'E']</to> - </transition> - </transitions> - <initialStates> - <state>['A']</state> - </initialStates> - <finalStates> - <state>['A', 'E']</state> - <state>['A', 'D', 'E']</state> - <state>['A', 'B', 'D', 'F']</state> - <state>['A', 'B', 'C', 'D']</state> - </finalStates> -</automaton> diff --git a/examples/automaton/NFSM4.xml b/examples/automaton/NFSM4.xml deleted file mode 100644 index 81c5bafed1c5777cc0d6705991bd3425001801bf..0000000000000000000000000000000000000000 --- a/examples/automaton/NFSM4.xml +++ /dev/null @@ -1,83 +0,0 @@ -<automaton> - <states> - <state>A</state> - <state>B</state> - <state>C</state> - <state>D</state> - <state>E</state> - <state>F</state> - </states> - <inputAlphabet> - <symbol>a</symbol> - <symbol>b</symbol> - </inputAlphabet> - <transitions> - <transition> - <from>A</from> - <input>a</input> - <to>A</to> - </transition> - <transition> - <from>A</from> - <input>a</input> - <to>B</to> - </transition> - <transition> - <from>A</from> - <input>b</input> - <to>A</to> - </transition> - <transition> - <from>A</from> - <input>b</input> - <to>E</to> - </transition> - <transition> - <from>B</from> - <input>a</input> - <to>C</to> - </transition> - <transition> - <from>C</from> - <input>a</input> - <to>D</to> - </transition> - <transition> - <from>C</from> - <input>b</input> - <to>D</to> - </transition> - <transition> - <from>D</from> - <input>a</input> - <to>D</to> - </transition> - <transition> - <from>D</from> - <input>b</input> - <to>D</to> - </transition> - <transition> - <from>E</from> - <input>a</input> - <to>F</to> - </transition> - <transition> - <from>E</from> - <input>b</input> - <to>D</to> - </transition> - <transition> - <from>F</from> - <input>b</input> - <to>D</to> - </transition> - </transitions> - <initialStates> - <state>A</state> - </initialStates> - <finalStates> - <state>D</state> - <state>E</state> - </finalStates> -</automaton> diff --git a/examples/automaton/NFSM5.DET.MIN.xml b/examples/automaton/NFSM5.DET.MIN.xml deleted file mode 100644 index 906bc8b8728944050d3ca7a0aad97cbfb84b3027..0000000000000000000000000000000000000000 --- a/examples/automaton/NFSM5.DET.MIN.xml +++ /dev/null @@ -1,107 +0,0 @@ -<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 deleted file mode 100644 index 31d4fe17e35719980044098da5c01270ca1b2aef..0000000000000000000000000000000000000000 --- a/examples/automaton/NFSM5.xml +++ /dev/null @@ -1,108 +0,0 @@ -<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/examples2/automaton/NFSM2.DET.xml b/examples2/automaton/NFSM2.DET.xml new file mode 100644 index 0000000000000000000000000000000000000000..b80150e8abfaba286e7b45ac496f891298251058 --- /dev/null +++ b/examples2/automaton/NFSM2.DET.xml @@ -0,0 +1,115 @@ +<DFA> + <states> + <PrimitiveLabel><String>['S']</String></PrimitiveLabel> + <PrimitiveLabel><String>['A', 'B']</String></PrimitiveLabel> + <PrimitiveLabel><String>['C']</String></PrimitiveLabel> + <PrimitiveLabel><String>['A', 'S']</String></PrimitiveLabel> + <PrimitiveLabel><String>['A', 'B', 'C']</String></PrimitiveLabel> + <PrimitiveLabel><String>['A', 'C']</String></PrimitiveLabel> + <PrimitiveLabel><String>['A', 'C', 'S']</String></PrimitiveLabel> + <PrimitiveLabel><String>['A']</String></PrimitiveLabel> + <PrimitiveLabel><String>['A', 'B', 'C', 'S']</String></PrimitiveLabel> + </states> + <inputAlphabet> + <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol> + </inputAlphabet> + <initialState> + <PrimitiveLabel><String>['S']</String></PrimitiveLabel> + </initialState> + <finalStates> + <PrimitiveLabel><String>['A', 'B']</String></PrimitiveLabel> + <PrimitiveLabel><String>['C']</String></PrimitiveLabel> + <PrimitiveLabel><String>['A', 'B', 'C']</String></PrimitiveLabel> + <PrimitiveLabel><String>['A', 'C']</String></PrimitiveLabel> + <PrimitiveLabel><String>['A', 'C', 'S']</String></PrimitiveLabel> + <PrimitiveLabel><String>['A', 'B', 'C', 'S']</String></PrimitiveLabel> + </finalStates> + <transitions> + <transition> + <from><PrimitiveLabel><String>['S']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'B']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['S']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['C']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A', 'B']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['C']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A', 'B']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'B']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['C']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'S']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A', 'S']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'B', 'C']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A', 'S']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'C']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A', 'B', 'C']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'C', 'S']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A', 'B', 'C']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'B']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A', 'C']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'C', 'S']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A', 'C']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A', 'C', 'S']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'B', 'C', 'S']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A', 'C', 'S']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'C']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['C']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A', 'B', 'C', 'S']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'B', 'C', 'S']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A', 'B', 'C', 'S']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'B', 'C']</String></PrimitiveLabel></to> + </transition> + </transitions> +</DFA> diff --git a/examples2/automaton/NFSM3.DET.xml b/examples2/automaton/NFSM3.DET.xml new file mode 100644 index 0000000000000000000000000000000000000000..513413af338ead38e4e544023a6ced6946442565 --- /dev/null +++ b/examples2/automaton/NFSM3.DET.xml @@ -0,0 +1,92 @@ +<DFA> + <states> + <PrimitiveLabel><String>['S']</String></PrimitiveLabel> + <PrimitiveLabel><String>['A', 'S']</String></PrimitiveLabel> + <PrimitiveLabel><String>['B']</String></PrimitiveLabel> + <PrimitiveLabel><String>['A', 'B', 'C']</String></PrimitiveLabel> + <PrimitiveLabel><String>['A', 'C', 'S']</String></PrimitiveLabel> + <PrimitiveLabel><String>['A', 'B', 'S']</String></PrimitiveLabel> + <PrimitiveLabel><String>['A', 'B', 'C', 'S']</String></PrimitiveLabel> + </states> + <inputAlphabet> + <LabeledSymbol><PrimitiveLabel><Character>0</Character></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><Character>1</Character></PrimitiveLabel></LabeledSymbol> + </inputAlphabet> + <initialState> + <PrimitiveLabel><String>['S']</String></PrimitiveLabel> + </initialState> + <finalStates> + <PrimitiveLabel><String>['B']</String></PrimitiveLabel> + <PrimitiveLabel><String>['A', 'B', 'C']</String></PrimitiveLabel> + <PrimitiveLabel><String>['A', 'C', 'S']</String></PrimitiveLabel> + <PrimitiveLabel><String>['A', 'B', 'S']</String></PrimitiveLabel> + <PrimitiveLabel><String>['A', 'B', 'C', 'S']</String></PrimitiveLabel> + </finalStates> + <transitions> + <transition> + <from><PrimitiveLabel><String>['S']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>0</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'S']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['S']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>1</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['B']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A', 'S']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>0</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'S']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A', 'S']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>1</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'B', 'C']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['B']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>1</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['S']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A', 'B', 'C']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>0</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['B']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A', 'B', 'C']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>1</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'C', 'S']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A', 'C', 'S']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>0</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'B', 'S']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A', 'C', 'S']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>1</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'B', 'C']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A', 'B', 'S']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>0</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'S']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A', 'B', 'S']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>1</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'B', 'C', 'S']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A', 'B', 'C', 'S']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>0</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'B', 'S']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A', 'B', 'C', 'S']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>1</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'B', 'C', 'S']</String></PrimitiveLabel></to> + </transition> + </transitions> +</DFA> diff --git a/examples2/automaton/NFSM3.xml b/examples2/automaton/NFSM3.xml new file mode 100644 index 0000000000000000000000000000000000000000..3333d144885763dff3fa18fa6da381ec4b3256e1 --- /dev/null +++ b/examples2/automaton/NFSM3.xml @@ -0,0 +1,56 @@ +<NFA> + <states> + <PrimitiveLabel><String>S</String></PrimitiveLabel> + <PrimitiveLabel><String>A</String></PrimitiveLabel> + <PrimitiveLabel><String>B</String></PrimitiveLabel> + <PrimitiveLabel><String>C</String></PrimitiveLabel> + </states> + <inputAlphabet> + <LabeledSymbol><PrimitiveLabel><Character>0</Character></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><Character>1</Character></PrimitiveLabel></LabeledSymbol> + </inputAlphabet> + <initialState> + <PrimitiveLabel><String>S</String></PrimitiveLabel> + </initialState> + <finalStates> + <PrimitiveLabel><String>B</String></PrimitiveLabel> + <PrimitiveLabel><String>C</String></PrimitiveLabel> + </finalStates> + <transitions> + <transition> + <from><PrimitiveLabel><String>S</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>0</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>S</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>S</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>0</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>A</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>S</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>1</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>B</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>A</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>1</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>A</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>A</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>1</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>C</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>B</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>1</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>S</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>C</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>0</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>B</String></PrimitiveLabel></to> + </transition> + </transitions> +</NFA> diff --git a/examples2/automaton/NFSM4.DET.xml b/examples2/automaton/NFSM4.DET.xml new file mode 100644 index 0000000000000000000000000000000000000000..e87d9e77e6bc6a7170dcdc1d0b5c3216214cf416 --- /dev/null +++ b/examples2/automaton/NFSM4.DET.xml @@ -0,0 +1,107 @@ +<DFA> + <states> + <PrimitiveLabel><String>['A']</String></PrimitiveLabel> + <PrimitiveLabel><String>['A', 'B']</String></PrimitiveLabel> + <PrimitiveLabel><String>['A', 'E']</String></PrimitiveLabel> + <PrimitiveLabel><String>['A', 'B', 'C']</String></PrimitiveLabel> + <PrimitiveLabel><String>['A', 'B', 'F']</String></PrimitiveLabel> + <PrimitiveLabel><String>['A', 'D', 'E']</String></PrimitiveLabel> + <PrimitiveLabel><String>['A', 'B', 'D', 'F']</String></PrimitiveLabel> + <PrimitiveLabel><String>['A', 'B', 'C', 'D']</String></PrimitiveLabel> + </states> + <inputAlphabet> + <LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol> + </inputAlphabet> + <initialState> + <PrimitiveLabel><String>['A']</String></PrimitiveLabel> + </initialState> + <finalStates> + <PrimitiveLabel><String>['A', 'E']</String></PrimitiveLabel> + <PrimitiveLabel><String>['A', 'D', 'E']</String></PrimitiveLabel> + <PrimitiveLabel><String>['A', 'B', 'D', 'F']</String></PrimitiveLabel> + <PrimitiveLabel><String>['A', 'B', 'C', 'D']</String></PrimitiveLabel> + </finalStates> + <transitions> + <transition> + <from><PrimitiveLabel><String>['A']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'B']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'E']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A', 'B']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'B', 'C']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A', 'B']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'E']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A', 'E']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'B', 'F']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A', 'E']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'D', 'E']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A', 'B', 'C']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'B', 'C', 'D']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A', 'B', 'C']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'D', 'E']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A', 'B', 'F']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'B', 'C']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A', 'B', 'F']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'D', 'E']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A', 'D', 'E']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'B', 'D', 'F']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A', 'D', 'E']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'D', 'E']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A', 'B', 'D', 'F']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'B', 'C', 'D']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A', 'B', 'D', 'F']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'D', 'E']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A', 'B', 'C', 'D']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'B', 'C', 'D']</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>['A', 'B', 'C', 'D']</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>['A', 'D', 'E']</String></PrimitiveLabel></to> + </transition> + </transitions> +</DFA> diff --git a/examples2/automaton/NFSM4.xml b/examples2/automaton/NFSM4.xml new file mode 100644 index 0000000000000000000000000000000000000000..602a05d50d918f0691159b6983af53dbdbdc4cba --- /dev/null +++ b/examples2/automaton/NFSM4.xml @@ -0,0 +1,83 @@ +<NFA> + <states> + <PrimitiveLabel><String>A</String></PrimitiveLabel> + <PrimitiveLabel><String>B</String></PrimitiveLabel> + <PrimitiveLabel><String>C</String></PrimitiveLabel> + <PrimitiveLabel><String>D</String></PrimitiveLabel> + <PrimitiveLabel><String>E</String></PrimitiveLabel> + <PrimitiveLabel><String>F</String></PrimitiveLabel> + </states> + <inputAlphabet> + <LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol> + </inputAlphabet> + <initialState> + <PrimitiveLabel><String>A</String></PrimitiveLabel> + </initialState> + <finalStates> + <PrimitiveLabel><String>D</String></PrimitiveLabel> + <PrimitiveLabel><String>E</String></PrimitiveLabel> + </finalStates> + <transitions> + <transition> + <from><PrimitiveLabel><String>A</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>A</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>A</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>B</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>A</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>A</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>A</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>E</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>B</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>C</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>C</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>D</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>C</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>D</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>D</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>D</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>D</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>D</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>E</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>F</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>E</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>D</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>F</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>D</String></PrimitiveLabel></to> + </transition> + </transitions> +</NFA> diff --git a/examples2/automaton/NFSM5.DET.xml b/examples2/automaton/NFSM5.DET.xml new file mode 100644 index 0000000000000000000000000000000000000000..0c1b26c1fb9363f7f8510669b1f1a0e45671dce8 --- /dev/null +++ b/examples2/automaton/NFSM5.DET.xml @@ -0,0 +1,107 @@ +<DFA> + <states> + <PrimitiveLabel><String>0</String></PrimitiveLabel> + <PrimitiveLabel><String>1</String></PrimitiveLabel> + <PrimitiveLabel><String>2</String></PrimitiveLabel> + <PrimitiveLabel><String>3</String></PrimitiveLabel> + <PrimitiveLabel><String>4</String></PrimitiveLabel> + <PrimitiveLabel><String>5</String></PrimitiveLabel> + <PrimitiveLabel><String>6</String></PrimitiveLabel> + <PrimitiveLabel><String>7</String></PrimitiveLabel> + <PrimitiveLabel><String>8</String></PrimitiveLabel> + <PrimitiveLabel><String>9</String></PrimitiveLabel> + </states> + <inputAlphabet> + <LabeledSymbol><PrimitiveLabel><Character>f</Character></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><Character>i</Character></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><Character>l</Character></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol> + </inputAlphabet> + <initialState> + <PrimitiveLabel><String>0</String></PrimitiveLabel> + </initialState> + <finalStates> + <PrimitiveLabel><String>2</String></PrimitiveLabel> + <PrimitiveLabel><String>5</String></PrimitiveLabel> + <PrimitiveLabel><String>7</String></PrimitiveLabel> + <PrimitiveLabel><String>8</String></PrimitiveLabel> + <PrimitiveLabel><String>9</String></PrimitiveLabel> + </finalStates> + <transitions> + <transition> + <from><PrimitiveLabel><String>0</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>l</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>1</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>1</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>i</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>2</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>1</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>l</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>3</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>1</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>4</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>3</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>l</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>4</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>3</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>5</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>4</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>f</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>6</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>4</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>l</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>7</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>5</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>l</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>6</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>6</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>f</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>8</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>7</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>f</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>2</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>7</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>i</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>9</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>7</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>l</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>6</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>8</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>8</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>9</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>l</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>0</String></PrimitiveLabel></to> + </transition> + </transitions> +</DFA> diff --git a/examples2/automaton/NFSM5.xml b/examples2/automaton/NFSM5.xml new file mode 100644 index 0000000000000000000000000000000000000000..66cdfd251eafad4bf93b9bb99be55e3f4db7308f --- /dev/null +++ b/examples2/automaton/NFSM5.xml @@ -0,0 +1,108 @@ +<NFA> + <states> + <PrimitiveLabel><String>0</String></PrimitiveLabel> + <PrimitiveLabel><String>1</String></PrimitiveLabel> + <PrimitiveLabel><String>10</String></PrimitiveLabel> + <PrimitiveLabel><String>2</String></PrimitiveLabel> + <PrimitiveLabel><String>3</String></PrimitiveLabel> + <PrimitiveLabel><String>4</String></PrimitiveLabel> + <PrimitiveLabel><String>5</String></PrimitiveLabel> + <PrimitiveLabel><String>6</String></PrimitiveLabel> + <PrimitiveLabel><String>7</String></PrimitiveLabel> + <PrimitiveLabel><String>8</String></PrimitiveLabel> + <PrimitiveLabel><String>9</String></PrimitiveLabel> + </states> + <inputAlphabet> + <LabeledSymbol><PrimitiveLabel><Character>f</Character></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><Character>i</Character></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><Character>l</Character></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol> + </inputAlphabet> + <initialState> + <PrimitiveLabel><String>0</String></PrimitiveLabel> + </initialState> + <finalStates> + <PrimitiveLabel><String>1</String></PrimitiveLabel> + <PrimitiveLabel><String>10</String></PrimitiveLabel> + <PrimitiveLabel><String>6</String></PrimitiveLabel> + <PrimitiveLabel><String>8</String></PrimitiveLabel> + <PrimitiveLabel><String>9</String></PrimitiveLabel> + </finalStates> + <transitions> + <transition> + <from><PrimitiveLabel><String>0</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>l</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>5</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>1</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>l</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>3</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>10</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>10</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>2</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>f</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>3</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>2</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>l</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>1</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>2</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>l</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>7</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>3</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>f</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>10</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>4</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>l</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>2</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>4</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>1</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>5</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>i</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>6</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>5</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>l</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>4</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>5</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>2</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>7</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>f</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>9</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>7</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>i</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>8</String></PrimitiveLabel></to> + </transition> + <transition> + <from><PrimitiveLabel><String>8</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>l</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>0</String></PrimitiveLabel></to> + </transition> + </transitions> +</NFA>