From f427ada17b755f60de9e9458e612cf8d59d3bb96 Mon Sep 17 00:00:00 2001 From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz> Date: Tue, 13 Jan 2015 08:15:50 +0100 Subject: [PATCH] move some more example automata to new format --- examples/automaton/NFSM2.DET.xml | 115 --------------------------- examples/automaton/NFSM3.DET.xml | 92 --------------------- examples/automaton/NFSM3.xml | 56 ------------- examples/automaton/NFSM4.DET.xml | 107 ------------------------- examples/automaton/NFSM4.xml | 83 ------------------- examples/automaton/NFSM5.DET.MIN.xml | 107 ------------------------- examples/automaton/NFSM5.xml | 108 ------------------------- examples2/automaton/NFSM2.DET.xml | 115 +++++++++++++++++++++++++++ examples2/automaton/NFSM3.DET.xml | 92 +++++++++++++++++++++ examples2/automaton/NFSM3.xml | 56 +++++++++++++ examples2/automaton/NFSM4.DET.xml | 107 +++++++++++++++++++++++++ examples2/automaton/NFSM4.xml | 83 +++++++++++++++++++ examples2/automaton/NFSM5.DET.xml | 107 +++++++++++++++++++++++++ examples2/automaton/NFSM5.xml | 108 +++++++++++++++++++++++++ 14 files changed, 668 insertions(+), 668 deletions(-) delete mode 100644 examples/automaton/NFSM2.DET.xml delete mode 100644 examples/automaton/NFSM3.DET.xml delete mode 100644 examples/automaton/NFSM3.xml delete mode 100644 examples/automaton/NFSM4.DET.xml delete mode 100644 examples/automaton/NFSM4.xml delete mode 100644 examples/automaton/NFSM5.DET.MIN.xml delete mode 100644 examples/automaton/NFSM5.xml create mode 100644 examples2/automaton/NFSM2.DET.xml create mode 100644 examples2/automaton/NFSM3.DET.xml create mode 100644 examples2/automaton/NFSM3.xml create mode 100644 examples2/automaton/NFSM4.DET.xml create mode 100644 examples2/automaton/NFSM4.xml create mode 100644 examples2/automaton/NFSM5.DET.xml create mode 100644 examples2/automaton/NFSM5.xml diff --git a/examples/automaton/NFSM2.DET.xml b/examples/automaton/NFSM2.DET.xml deleted file mode 100644 index 6c895d61bb..0000000000 --- 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 27d0cd15bb..0000000000 --- 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 6612d62f6c..0000000000 --- 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 c4b79b3e7d..0000000000 --- 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 81c5bafed1..0000000000 --- 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 906bc8b872..0000000000 --- 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 31d4fe17e3..0000000000 --- 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 0000000000..b80150e8ab --- /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 0000000000..513413af33 --- /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 0000000000..3333d14488 --- /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 0000000000..e87d9e77e6 --- /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 0000000000..602a05d50d --- /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 0000000000..0c1b26c1fb --- /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 0000000000..66cdfd251e --- /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> -- GitLab