diff --git a/examples/automaton/NVPA1.xml b/examples/automaton/NVPA1.xml deleted file mode 100644 index aadec53f68375fbefc34c46c34f58eae8c572381..0000000000000000000000000000000000000000 --- a/examples/automaton/NVPA1.xml +++ /dev/null @@ -1,69 +0,0 @@ -<automaton> - <states> - <state>0</state> - <state>1</state> - </states> - <inputAlphabet> - <symbol>a</symbol> - <symbol>b</symbol> - <symbol>c</symbol> - </inputAlphabet> - <stackAlphabet> - <symbol>s</symbol> - <symbol>⊥</symbol> - </stackAlphabet> - <transitions> - <transition> - <from>0</from> - <input>a</input> - <to>0</to> - <pop> - </pop> - <push> - <symbol>s</symbol> - </push> - </transition> - <transition> - <from>0</from> - <input>a</input> - <to>1</to> - <pop> - </pop> - <push> - <symbol>s</symbol> - </push> - </transition> - <transition> - <from>1</from> - <input>b</input> - <to>1</to> - <pop> - <symbol>s</symbol> - </pop> - <push></push> - </transition> - <transition> - <from>1</from> - <input>c</input> - <to>1</to> - <pop></pop> - <push></push> - </transition> - <transition> - <from>1</from> - <input>c</input> - <to>0</to> - <pop></pop> - <push></push> - </transition> - </transitions> - <initialStates> - <state>0</state> - </initialStates> - <startSymbols> - <symbol>⊥</symbol> - </startSymbols> - <finalStates> - <state>1</state> - </finalStates> -</automaton> diff --git a/examples/automaton/NVPA2.xml b/examples/automaton/NVPA2.xml deleted file mode 100644 index 59e36c6bcdc4772028140bfb7e085f898ffc8771..0000000000000000000000000000000000000000 --- a/examples/automaton/NVPA2.xml +++ /dev/null @@ -1,71 +0,0 @@ -<automaton> - <states> - <state>0</state> - <state>1</state> - </states> - <inputAlphabet> - <symbol>a</symbol> - <symbol>b</symbol> - <symbol>c</symbol> - <symbol>d</symbol> - </inputAlphabet> - <stackAlphabet> - <symbol>A</symbol> - <symbol>B</symbol> - <symbol>⊥</symbol> - </stackAlphabet> - <transitions> - <transition> - <from>0</from> - <input>a</input> - <to>0</to> - <pop></pop> - <push> - <symbol>A</symbol> - </push> - </transition> - <transition> - <from>0</from> - <input>c</input> - <to>1</to> - <pop></pop> - <push></push> - </transition> - <transition> - <from>0</from> - <input>a</input> - <to>1</to> - <pop></pop> - <push> - <symbol>B</symbol> - </push> - </transition> - <transition> - <from>1</from> - <input>b</input> - <to>1</to> - <pop> - <symbol>A</symbol> - </pop> - <push></push> - </transition> - <transition> - <from>1</from> - <input>d</input> - <to>1</to> - <pop> - <symbol>B</symbol> - </pop> - <push></push> - </transition> - </transitions> - <initialStates> - <state>0</state> - </initialStates> - <startSymbols> - <symbol>⊥</symbol> - </startSymbols> - <finalStates> - <state>1</state> - </finalStates> -</automaton> diff --git a/examples/automaton/NVPA3.xml b/examples/automaton/NVPA3.xml deleted file mode 100644 index d83ab636b8e2424ea481e5b28fd51dc86a8de4b0..0000000000000000000000000000000000000000 --- a/examples/automaton/NVPA3.xml +++ /dev/null @@ -1,73 +0,0 @@ -<automaton> - <states> - <state>0</state> - <state>1</state> - <state>2</state> - </states> - <inputAlphabet> - <symbol>a</symbol> - <symbol>b</symbol> - <symbol>c</symbol> - </inputAlphabet> - <stackAlphabet> - <symbol>a</symbol> - <symbol>#</symbol> - <symbol>⊥</symbol> - </stackAlphabet> - <transitions> - <transition> - <from>0</from> - <input>a</input> - <to>1</to> - <pop></pop> - <push> - <symbol>#</symbol> - </push> - </transition> - <transition> - <from>1</from> - <input>a</input> - <to>1</to> - <pop></pop> - <push> - <symbol>a</symbol> - </push> - </transition> - <transition> - <from>1</from> - <input>a</input> - <to>2</to> - <pop></pop> - <push> - <symbol>a</symbol> - </push> - </transition> - <transition> - <from>2</from> - <input>c</input> - <to>2</to> - <pop> - <symbol>a</symbol> - </pop> - <push></push> - </transition> - <transition> - <from>2</from> - <input>c</input> - <to>0</to> - <pop> - <symbol>#</symbol> - </pop> - <push></push> - </transition> - </transitions> - <initialStates> - <state>0</state> - </initialStates> - <startSymbols> - <symbol>⊥</symbol> - </startSymbols> - <finalStates> - <state>0</state> - </finalStates> -</automaton> diff --git a/examples2/automaton/NRHPDA.xml b/examples2/automaton/NRHPDA.xml index d0fbfe99f38ddc09927f3ceca0350b4d52f6f8d2..a2e514c48b1e3f444b17500aadeaf19597450f0a 100644 --- a/examples2/automaton/NRHPDA.xml +++ b/examples2/automaton/NRHPDA.xml @@ -1,86 +1,86 @@ <?xml version="1.0"?> <RealTimeHeightDeterministicNPDA> - <states> - <PrimitiveLabel><Integer>1</Integer></PrimitiveLabel> - <PrimitiveLabel><Integer>2</Integer></PrimitiveLabel> - <PrimitiveLabel><Integer>3</Integer></PrimitiveLabel> - </states> - <inputAlphabet> - <LabeledSymbol> - <PrimitiveLabel><String>a</String></PrimitiveLabel> - </LabeledSymbol> - <LabeledSymbol> - <PrimitiveLabel><String>b</String></PrimitiveLabel> - </LabeledSymbol> - </inputAlphabet> - <stackAlphabet> - <LabeledSymbol> - <PrimitiveLabel><String>X</String></PrimitiveLabel> - </LabeledSymbol> - <LabeledSymbol> - <PrimitiveLabel><String>Y</String></PrimitiveLabel> - </LabeledSymbol> - <BottomOfTheStackSymbol/> - </stackAlphabet> - <initialStates> - <PrimitiveLabel><Integer>1</Integer></PrimitiveLabel> - </initialStates> - <bottomOfTheStackSymbol> - <BottomOfTheStackSymbol/> - </bottomOfTheStackSymbol> - <finalStates> - <PrimitiveLabel><Integer>3</Integer></PrimitiveLabel> - </finalStates> - <transitions> - <callTransition> - <from> - <PrimitiveLabel><Integer>1</Integer></PrimitiveLabel> - </from> - <input> - <LabeledSymbol> - <PrimitiveLabel><String>a</String></PrimitiveLabel> - </LabeledSymbol> - </input> - <to> - <PrimitiveLabel><Integer>2</Integer></PrimitiveLabel> - </to> - <push> - <LabeledSymbol> - <PrimitiveLabel><String>X</String></PrimitiveLabel> - </LabeledSymbol> - </push> - </callTransition> - <callTransition> - <from> - <PrimitiveLabel><Integer>2</Integer></PrimitiveLabel> - </from> - <input> - <epsilon/> - </input> - <to> - <PrimitiveLabel><Integer>3</Integer></PrimitiveLabel> - </to> - <push> - <LabeledSymbol> - <PrimitiveLabel><String>X</String></PrimitiveLabel> - </LabeledSymbol> - </push> - </callTransition> - <returnTransition> - <from> - <PrimitiveLabel><Integer>3</Integer></PrimitiveLabel> - </from> - <input> - <epsilon/> - </input> - <pop> - <LabeledSymbol> - <PrimitiveLabel><String>Y</String></PrimitiveLabel> - </LabeledSymbol> - </pop> - <to> - <PrimitiveLabel><Integer>1</Integer></PrimitiveLabel> - </to> - </returnTransition> - </transitions> + <states> + <PrimitiveLabel><Integer>1</Integer></PrimitiveLabel> + <PrimitiveLabel><Integer>2</Integer></PrimitiveLabel> + <PrimitiveLabel><Integer>3</Integer></PrimitiveLabel> + </states> + <inputAlphabet> + <LabeledSymbol> + <PrimitiveLabel><String>a</String></PrimitiveLabel> + </LabeledSymbol> + <LabeledSymbol> + <PrimitiveLabel><String>b</String></PrimitiveLabel> + </LabeledSymbol> + </inputAlphabet> + <stackAlphabet> + <LabeledSymbol> + <PrimitiveLabel><String>X</String></PrimitiveLabel> + </LabeledSymbol> + <LabeledSymbol> + <PrimitiveLabel><String>Y</String></PrimitiveLabel> + </LabeledSymbol> + <BottomOfTheStackSymbol/> + </stackAlphabet> + <initialStates> + <PrimitiveLabel><Integer>1</Integer></PrimitiveLabel> + </initialStates> + <bottomOfTheStackSymbol> + <BottomOfTheStackSymbol/> + </bottomOfTheStackSymbol> + <finalStates> + <PrimitiveLabel><Integer>3</Integer></PrimitiveLabel> + </finalStates> + <transitions> + <callTransition> + <from> + <PrimitiveLabel><Integer>1</Integer></PrimitiveLabel> + </from> + <input> + <LabeledSymbol> + <PrimitiveLabel><String>a</String></PrimitiveLabel> + </LabeledSymbol> + </input> + <to> + <PrimitiveLabel><Integer>2</Integer></PrimitiveLabel> + </to> + <push> + <LabeledSymbol> + <PrimitiveLabel><String>X</String></PrimitiveLabel> + </LabeledSymbol> + </push> + </callTransition> + <callTransition> + <from> + <PrimitiveLabel><Integer>2</Integer></PrimitiveLabel> + </from> + <input> + <epsilon/> + </input> + <to> + <PrimitiveLabel><Integer>3</Integer></PrimitiveLabel> + </to> + <push> + <LabeledSymbol> + <PrimitiveLabel><String>X</String></PrimitiveLabel> + </LabeledSymbol> + </push> + </callTransition> + <returnTransition> + <from> + <PrimitiveLabel><Integer>3</Integer></PrimitiveLabel> + </from> + <input> + <epsilon/> + </input> + <pop> + <LabeledSymbol> + <PrimitiveLabel><String>Y</String></PrimitiveLabel> + </LabeledSymbol> + </pop> + <to> + <PrimitiveLabel><Integer>1</Integer></PrimitiveLabel> + </to> + </returnTransition> + </transitions> </RealTimeHeightDeterministicNPDA> diff --git a/examples2/automaton/NVPA.xml b/examples2/automaton/NVPA.xml index d7b1c13cbbd2c52b6dc1e0c1195a56fec43495bf..018b1abdf1c381ea27ae6d4f718100ce0f263790 100644 --- a/examples2/automaton/NVPA.xml +++ b/examples2/automaton/NVPA.xml @@ -1,274 +1,274 @@ <?xml version="1.0"?> <VisiblyPushdownNPDA> - <states> - <PrimitiveLabel><Integer>0</Integer></PrimitiveLabel> - <PrimitiveLabel><Integer>1</Integer></PrimitiveLabel> - <PrimitiveLabel><Integer>2</Integer></PrimitiveLabel> - <PrimitiveLabel><Integer>3</Integer></PrimitiveLabel> - <PrimitiveLabel><Integer>4</Integer></PrimitiveLabel> - <PrimitiveLabel><Integer>5</Integer></PrimitiveLabel> - <PrimitiveLabel><Integer>6</Integer></PrimitiveLabel> - </states> - <callInputAlphabet> - <LabeledSymbol> - <PrimitiveLabel><Character>a</Character></PrimitiveLabel> - </LabeledSymbol> - </callInputAlphabet> - <returnInputAlphabet> - <LabeledSymbol> - <PrimitiveLabel><Character>^</Character></PrimitiveLabel> - </LabeledSymbol> - </returnInputAlphabet> - <localInputAlphabet/> - <stackAlphabet> - <LabeledSymbol> - <PrimitiveLabel><Character>A</Character></PrimitiveLabel> - </LabeledSymbol> - <LabeledSymbol> - <PrimitiveLabel><Character>B</Character></PrimitiveLabel> - </LabeledSymbol> - <LabeledSymbol> - <PrimitiveLabel><Character>C</Character></PrimitiveLabel> - </LabeledSymbol> - <LabeledSymbol> - <PrimitiveLabel><Character>D</Character></PrimitiveLabel> - </LabeledSymbol> - <LabeledSymbol> - <PrimitiveLabel><Character>E</Character></PrimitiveLabel> - </LabeledSymbol> - <LabeledSymbol> - <PrimitiveLabel><Character>F</Character></PrimitiveLabel> - </LabeledSymbol> - <LabeledSymbol> - <PrimitiveLabel><Character>T</Character></PrimitiveLabel> - </LabeledSymbol> - <BottomOfTheStackSymbol/> - </stackAlphabet> - <initialStates> - <PrimitiveLabel><Integer>0</Integer></PrimitiveLabel> - </initialStates> - <bottomOfTheStackSymbol> - <BottomOfTheStackSymbol/> - </bottomOfTheStackSymbol> - <finalStates> - <PrimitiveLabel><Integer>4</Integer></PrimitiveLabel> - </finalStates> - <transitions> - <callTransition> - <from> - <PrimitiveLabel><Integer>0</Integer></PrimitiveLabel> - </from> - <input> - <LabeledSymbol> - <PrimitiveLabel><Character>a</Character></PrimitiveLabel> - </LabeledSymbol> - </input> - <to> - <PrimitiveLabel><Integer>0</Integer></PrimitiveLabel> - </to> - <push> - <LabeledSymbol> - <PrimitiveLabel><Character>A</Character></PrimitiveLabel> - </LabeledSymbol> - </push> - </callTransition> - <callTransition> - <from> - <PrimitiveLabel><Integer>0</Integer></PrimitiveLabel> - </from> - <input> - <LabeledSymbol> - <PrimitiveLabel><Character>a</Character></PrimitiveLabel> - </LabeledSymbol> - </input> - <to> - <PrimitiveLabel><Integer>1</Integer></PrimitiveLabel> - </to> - <push> - <LabeledSymbol> - <PrimitiveLabel><Character>B</Character></PrimitiveLabel> - </LabeledSymbol> - </push> - </callTransition> - <callTransition> - <from> - <PrimitiveLabel><Integer>1</Integer></PrimitiveLabel> - </from> - <input> - <LabeledSymbol> - <PrimitiveLabel><Character>a</Character></PrimitiveLabel> - </LabeledSymbol> - </input> - <to> - <PrimitiveLabel><Integer>2</Integer></PrimitiveLabel> - </to> - <push> - <LabeledSymbol> - <PrimitiveLabel><Character>C</Character></PrimitiveLabel> - </LabeledSymbol> - </push> - </callTransition> - <callTransition> - <from> - <PrimitiveLabel><Integer>2</Integer></PrimitiveLabel> - </from> - <input> - <LabeledSymbol> - <PrimitiveLabel><Character>a</Character></PrimitiveLabel> - </LabeledSymbol> - </input> - <to> - <PrimitiveLabel><Integer>2</Integer></PrimitiveLabel> - </to> - <push> - <LabeledSymbol> - <PrimitiveLabel><Character>D</Character></PrimitiveLabel> - </LabeledSymbol> - </push> - </callTransition> - <callTransition> - <from> - <PrimitiveLabel><Integer>3</Integer></PrimitiveLabel> - </from> - <input> - <LabeledSymbol> - <PrimitiveLabel><Character>a</Character></PrimitiveLabel> - </LabeledSymbol> - </input> - <to> - <PrimitiveLabel><Integer>4</Integer></PrimitiveLabel> - </to> - <push> - <LabeledSymbol> - <PrimitiveLabel><Character>E</Character></PrimitiveLabel> - </LabeledSymbol> - </push> - </callTransition> - <callTransition> - <from> - <PrimitiveLabel><Integer>4</Integer></PrimitiveLabel> - </from> - <input> - <LabeledSymbol> - <PrimitiveLabel><Character>a</Character></PrimitiveLabel> - </LabeledSymbol> - </input> - <to> - <PrimitiveLabel><Integer>4</Integer></PrimitiveLabel> - </to> - <push> - <LabeledSymbol> - <PrimitiveLabel><Character>F</Character></PrimitiveLabel> - </LabeledSymbol> - </push> - </callTransition> - <returnTransition> - <from> - <PrimitiveLabel><Integer>0</Integer></PrimitiveLabel> - </from> - <input> - <LabeledSymbol> - <PrimitiveLabel><Character>^</Character></PrimitiveLabel> - </LabeledSymbol> - </input> - <pop> - <LabeledSymbol> - <PrimitiveLabel><Character>A</Character></PrimitiveLabel> - </LabeledSymbol> - </pop> - <to> - <PrimitiveLabel><Integer>0</Integer></PrimitiveLabel> - </to> - </returnTransition> - <returnTransition> - <from> - <PrimitiveLabel><Integer>2</Integer></PrimitiveLabel> - </from> - <input> - <LabeledSymbol> - <PrimitiveLabel><Character>^</Character></PrimitiveLabel> - </LabeledSymbol> - </input> - <pop> - <LabeledSymbol> - <PrimitiveLabel><Character>C</Character></PrimitiveLabel> - </LabeledSymbol> - </pop> - <to> - <PrimitiveLabel><Integer>3</Integer></PrimitiveLabel> - </to> - </returnTransition> - <returnTransition> - <from> - <PrimitiveLabel><Integer>2</Integer></PrimitiveLabel> - </from> - <input> - <LabeledSymbol> - <PrimitiveLabel><Character>^</Character></PrimitiveLabel> - </LabeledSymbol> - </input> - <pop> - <LabeledSymbol> - <PrimitiveLabel><Character>D</Character></PrimitiveLabel> - </LabeledSymbol> - </pop> - <to> - <PrimitiveLabel><Integer>2</Integer></PrimitiveLabel> - </to> - </returnTransition> - <returnTransition> - <from> - <PrimitiveLabel><Integer>4</Integer></PrimitiveLabel> - </from> - <input> - <LabeledSymbol> - <PrimitiveLabel><Character>^</Character></PrimitiveLabel> - </LabeledSymbol> - </input> - <pop> - <LabeledSymbol> - <PrimitiveLabel><Character>E</Character></PrimitiveLabel> - </LabeledSymbol> - </pop> - <to> - <PrimitiveLabel><Integer>5</Integer></PrimitiveLabel> - </to> - </returnTransition> - <returnTransition> - <from> - <PrimitiveLabel><Integer>4</Integer></PrimitiveLabel> - </from> - <input> - <LabeledSymbol> - <PrimitiveLabel><Character>^</Character></PrimitiveLabel> - </LabeledSymbol> - </input> - <pop> - <LabeledSymbol> - <PrimitiveLabel><Character>F</Character></PrimitiveLabel> - </LabeledSymbol> - </pop> - <to> - <PrimitiveLabel><Integer>4</Integer></PrimitiveLabel> - </to> - </returnTransition> - <returnTransition> - <from> - <PrimitiveLabel><Integer>5</Integer></PrimitiveLabel> - </from> - <input> - <LabeledSymbol> - <PrimitiveLabel><Character>^</Character></PrimitiveLabel> - </LabeledSymbol> - </input> - <pop> - <LabeledSymbol> - <PrimitiveLabel><Character>B</Character></PrimitiveLabel> - </LabeledSymbol> - </pop> - <to> - <PrimitiveLabel><Integer>6</Integer></PrimitiveLabel> - </to> - </returnTransition> - </transitions> + <states> + <PrimitiveLabel><Integer>0</Integer></PrimitiveLabel> + <PrimitiveLabel><Integer>1</Integer></PrimitiveLabel> + <PrimitiveLabel><Integer>2</Integer></PrimitiveLabel> + <PrimitiveLabel><Integer>3</Integer></PrimitiveLabel> + <PrimitiveLabel><Integer>4</Integer></PrimitiveLabel> + <PrimitiveLabel><Integer>5</Integer></PrimitiveLabel> + <PrimitiveLabel><Integer>6</Integer></PrimitiveLabel> + </states> + <callInputAlphabet> + <LabeledSymbol> + <PrimitiveLabel><Character>a</Character></PrimitiveLabel> + </LabeledSymbol> + </callInputAlphabet> + <returnInputAlphabet> + <LabeledSymbol> + <PrimitiveLabel><Character>^</Character></PrimitiveLabel> + </LabeledSymbol> + </returnInputAlphabet> + <localInputAlphabet/> + <stackAlphabet> + <LabeledSymbol> + <PrimitiveLabel><Character>A</Character></PrimitiveLabel> + </LabeledSymbol> + <LabeledSymbol> + <PrimitiveLabel><Character>B</Character></PrimitiveLabel> + </LabeledSymbol> + <LabeledSymbol> + <PrimitiveLabel><Character>C</Character></PrimitiveLabel> + </LabeledSymbol> + <LabeledSymbol> + <PrimitiveLabel><Character>D</Character></PrimitiveLabel> + </LabeledSymbol> + <LabeledSymbol> + <PrimitiveLabel><Character>E</Character></PrimitiveLabel> + </LabeledSymbol> + <LabeledSymbol> + <PrimitiveLabel><Character>F</Character></PrimitiveLabel> + </LabeledSymbol> + <LabeledSymbol> + <PrimitiveLabel><Character>T</Character></PrimitiveLabel> + </LabeledSymbol> + <BottomOfTheStackSymbol/> + </stackAlphabet> + <initialStates> + <PrimitiveLabel><Integer>0</Integer></PrimitiveLabel> + </initialStates> + <bottomOfTheStackSymbol> + <BottomOfTheStackSymbol/> + </bottomOfTheStackSymbol> + <finalStates> + <PrimitiveLabel><Integer>4</Integer></PrimitiveLabel> + </finalStates> + <transitions> + <callTransition> + <from> + <PrimitiveLabel><Integer>0</Integer></PrimitiveLabel> + </from> + <input> + <LabeledSymbol> + <PrimitiveLabel><Character>a</Character></PrimitiveLabel> + </LabeledSymbol> + </input> + <to> + <PrimitiveLabel><Integer>0</Integer></PrimitiveLabel> + </to> + <push> + <LabeledSymbol> + <PrimitiveLabel><Character>A</Character></PrimitiveLabel> + </LabeledSymbol> + </push> + </callTransition> + <callTransition> + <from> + <PrimitiveLabel><Integer>0</Integer></PrimitiveLabel> + </from> + <input> + <LabeledSymbol> + <PrimitiveLabel><Character>a</Character></PrimitiveLabel> + </LabeledSymbol> + </input> + <to> + <PrimitiveLabel><Integer>1</Integer></PrimitiveLabel> + </to> + <push> + <LabeledSymbol> + <PrimitiveLabel><Character>B</Character></PrimitiveLabel> + </LabeledSymbol> + </push> + </callTransition> + <callTransition> + <from> + <PrimitiveLabel><Integer>1</Integer></PrimitiveLabel> + </from> + <input> + <LabeledSymbol> + <PrimitiveLabel><Character>a</Character></PrimitiveLabel> + </LabeledSymbol> + </input> + <to> + <PrimitiveLabel><Integer>2</Integer></PrimitiveLabel> + </to> + <push> + <LabeledSymbol> + <PrimitiveLabel><Character>C</Character></PrimitiveLabel> + </LabeledSymbol> + </push> + </callTransition> + <callTransition> + <from> + <PrimitiveLabel><Integer>2</Integer></PrimitiveLabel> + </from> + <input> + <LabeledSymbol> + <PrimitiveLabel><Character>a</Character></PrimitiveLabel> + </LabeledSymbol> + </input> + <to> + <PrimitiveLabel><Integer>2</Integer></PrimitiveLabel> + </to> + <push> + <LabeledSymbol> + <PrimitiveLabel><Character>D</Character></PrimitiveLabel> + </LabeledSymbol> + </push> + </callTransition> + <callTransition> + <from> + <PrimitiveLabel><Integer>3</Integer></PrimitiveLabel> + </from> + <input> + <LabeledSymbol> + <PrimitiveLabel><Character>a</Character></PrimitiveLabel> + </LabeledSymbol> + </input> + <to> + <PrimitiveLabel><Integer>4</Integer></PrimitiveLabel> + </to> + <push> + <LabeledSymbol> + <PrimitiveLabel><Character>E</Character></PrimitiveLabel> + </LabeledSymbol> + </push> + </callTransition> + <callTransition> + <from> + <PrimitiveLabel><Integer>4</Integer></PrimitiveLabel> + </from> + <input> + <LabeledSymbol> + <PrimitiveLabel><Character>a</Character></PrimitiveLabel> + </LabeledSymbol> + </input> + <to> + <PrimitiveLabel><Integer>4</Integer></PrimitiveLabel> + </to> + <push> + <LabeledSymbol> + <PrimitiveLabel><Character>F</Character></PrimitiveLabel> + </LabeledSymbol> + </push> + </callTransition> + <returnTransition> + <from> + <PrimitiveLabel><Integer>0</Integer></PrimitiveLabel> + </from> + <input> + <LabeledSymbol> + <PrimitiveLabel><Character>^</Character></PrimitiveLabel> + </LabeledSymbol> + </input> + <pop> + <LabeledSymbol> + <PrimitiveLabel><Character>A</Character></PrimitiveLabel> + </LabeledSymbol> + </pop> + <to> + <PrimitiveLabel><Integer>0</Integer></PrimitiveLabel> + </to> + </returnTransition> + <returnTransition> + <from> + <PrimitiveLabel><Integer>2</Integer></PrimitiveLabel> + </from> + <input> + <LabeledSymbol> + <PrimitiveLabel><Character>^</Character></PrimitiveLabel> + </LabeledSymbol> + </input> + <pop> + <LabeledSymbol> + <PrimitiveLabel><Character>C</Character></PrimitiveLabel> + </LabeledSymbol> + </pop> + <to> + <PrimitiveLabel><Integer>3</Integer></PrimitiveLabel> + </to> + </returnTransition> + <returnTransition> + <from> + <PrimitiveLabel><Integer>2</Integer></PrimitiveLabel> + </from> + <input> + <LabeledSymbol> + <PrimitiveLabel><Character>^</Character></PrimitiveLabel> + </LabeledSymbol> + </input> + <pop> + <LabeledSymbol> + <PrimitiveLabel><Character>D</Character></PrimitiveLabel> + </LabeledSymbol> + </pop> + <to> + <PrimitiveLabel><Integer>2</Integer></PrimitiveLabel> + </to> + </returnTransition> + <returnTransition> + <from> + <PrimitiveLabel><Integer>4</Integer></PrimitiveLabel> + </from> + <input> + <LabeledSymbol> + <PrimitiveLabel><Character>^</Character></PrimitiveLabel> + </LabeledSymbol> + </input> + <pop> + <LabeledSymbol> + <PrimitiveLabel><Character>E</Character></PrimitiveLabel> + </LabeledSymbol> + </pop> + <to> + <PrimitiveLabel><Integer>5</Integer></PrimitiveLabel> + </to> + </returnTransition> + <returnTransition> + <from> + <PrimitiveLabel><Integer>4</Integer></PrimitiveLabel> + </from> + <input> + <LabeledSymbol> + <PrimitiveLabel><Character>^</Character></PrimitiveLabel> + </LabeledSymbol> + </input> + <pop> + <LabeledSymbol> + <PrimitiveLabel><Character>F</Character></PrimitiveLabel> + </LabeledSymbol> + </pop> + <to> + <PrimitiveLabel><Integer>4</Integer></PrimitiveLabel> + </to> + </returnTransition> + <returnTransition> + <from> + <PrimitiveLabel><Integer>5</Integer></PrimitiveLabel> + </from> + <input> + <LabeledSymbol> + <PrimitiveLabel><Character>^</Character></PrimitiveLabel> + </LabeledSymbol> + </input> + <pop> + <LabeledSymbol> + <PrimitiveLabel><Character>B</Character></PrimitiveLabel> + </LabeledSymbol> + </pop> + <to> + <PrimitiveLabel><Integer>6</Integer></PrimitiveLabel> + </to> + </returnTransition> + </transitions> </VisiblyPushdownNPDA> diff --git a/examples2/automaton/NVPA1.xml b/examples2/automaton/NVPA1.xml new file mode 100644 index 0000000000000000000000000000000000000000..f70ebab083cee855f34d0efa719edf7c0d9f4f12 --- /dev/null +++ b/examples2/automaton/NVPA1.xml @@ -0,0 +1,64 @@ +<VisiblyPushdownNPDA> + <states> + <PrimitiveLabel><String>0</String></PrimitiveLabel> + <PrimitiveLabel><String>1</String></PrimitiveLabel> + </states> + <callInputAlphabet> + <LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol> + </callInputAlphabet> + <returnInputAlphabet> + <LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol> + </returnInputAlphabet> + <localInputAlphabet> + <LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol> + </localInputAlphabet> + <stackAlphabet> + <LabeledSymbol><PrimitiveLabel><Character>s</Character></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><Character>⊥</Character></PrimitiveLabel></LabeledSymbol> + </stackAlphabet> + <initialStates> + <PrimitiveLabel><String>0</String></PrimitiveLabel> + </initialStates> + <bottomOfTheStackSymbol> + <LabeledSymbol><PrimitiveLabel><Character>⊥</Character></PrimitiveLabel></LabeledSymbol> + </bottomOfTheStackSymbol> + <finalStates> + <PrimitiveLabel><String>1</String></PrimitiveLabel> + </finalStates> + <transitions> + <callTransition> + <from><PrimitiveLabel><String>0</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>0</String></PrimitiveLabel></to> + <push> + <LabeledSymbol><PrimitiveLabel><Character>s</Character></PrimitiveLabel></LabeledSymbol> + </push> + </callTransition> + <callTransition> + <from><PrimitiveLabel><String>0</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>1</String></PrimitiveLabel></to> + <push> + <LabeledSymbol><PrimitiveLabel><Character>s</Character></PrimitiveLabel></LabeledSymbol> + </push> + </callTransition> + <returnTransition> + <from><PrimitiveLabel><String>1</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol></input> + <pop> + <LabeledSymbol><PrimitiveLabel><Character>s</Character></PrimitiveLabel></LabeledSymbol> + </pop> + <to><PrimitiveLabel><String>1</String></PrimitiveLabel></to> + </returnTransition> + <localTransition> + <from><PrimitiveLabel><String>1</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>1</String></PrimitiveLabel></to> + </localTransition> + <localTransition> + <from><PrimitiveLabel><String>1</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>0</String></PrimitiveLabel></to> + </localTransition> + </transitions> +</VisiblyPushdownNPDA> diff --git a/examples2/automaton/NVPA2.xml b/examples2/automaton/NVPA2.xml new file mode 100644 index 0000000000000000000000000000000000000000..10a046a8322a21774195a288116325c6bced2945 --- /dev/null +++ b/examples2/automaton/NVPA2.xml @@ -0,0 +1,69 @@ +<VisiblyPushdownNPDA> + <states> + <PrimitiveLabel><String>0</String></PrimitiveLabel> + <PrimitiveLabel><String>1</String></PrimitiveLabel> + </states> + <callInputAlphabet> + <LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol> + </callInputAlphabet> + <returnInputAlphabet> + <LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><Character>d</Character></PrimitiveLabel></LabeledSymbol> + </returnInputAlphabet> + <localInputAlphabet> + <LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol> + </localInputAlphabet> + <stackAlphabet> + <LabeledSymbol><PrimitiveLabel><Character>A</Character></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><Character>B</Character></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><Character>⊥</Character></PrimitiveLabel></LabeledSymbol> + </stackAlphabet> + <initialStates> + <PrimitiveLabel><String>0</String></PrimitiveLabel> + </initialStates> + <bottomOfTheStackSymbol> + <LabeledSymbol><PrimitiveLabel><Character>⊥</Character></PrimitiveLabel></LabeledSymbol> + </bottomOfTheStackSymbol> + <finalStates> + <PrimitiveLabel><String>1</String></PrimitiveLabel> + </finalStates> + <transitions> + <callTransition> + <from><PrimitiveLabel><String>0</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>0</String></PrimitiveLabel></to> + <push> + <LabeledSymbol><PrimitiveLabel><Character>A</Character></PrimitiveLabel></LabeledSymbol> + </push> + </callTransition> + <localTransition> + <from><PrimitiveLabel><String>0</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>1</String></PrimitiveLabel></to> + </localTransition> + <callTransition> + <from><PrimitiveLabel><String>0</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>1</String></PrimitiveLabel></to> + <push> + <LabeledSymbol><PrimitiveLabel><Character>B</Character></PrimitiveLabel></LabeledSymbol> + </push> + </callTransition> + <returnTransition> + <from><PrimitiveLabel><String>1</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol></input> + <pop> + <LabeledSymbol><PrimitiveLabel><Character>A</Character></PrimitiveLabel></LabeledSymbol> + </pop> + <to><PrimitiveLabel><String>1</String></PrimitiveLabel></to> + </returnTransition> + <returnTransition> + <from><PrimitiveLabel><String>1</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>d</Character></PrimitiveLabel></LabeledSymbol></input> + <pop> + <LabeledSymbol><PrimitiveLabel><Character>B</Character></PrimitiveLabel></LabeledSymbol> + </pop> + <to><PrimitiveLabel><String>1</String></PrimitiveLabel></to> + </returnTransition> + </transitions> +</VisiblyPushdownNPDA> diff --git a/examples2/automaton/NVPA3.xml b/examples2/automaton/NVPA3.xml new file mode 100644 index 0000000000000000000000000000000000000000..1cdd32d6bb69ad77e49e00d879d69ac584645fc4 --- /dev/null +++ b/examples2/automaton/NVPA3.xml @@ -0,0 +1,72 @@ +<VisiblyPushdownNPDA> + <states> + <PrimitiveLabel><String>0</String></PrimitiveLabel> + <PrimitiveLabel><String>1</String></PrimitiveLabel> + <PrimitiveLabel><String>2</String></PrimitiveLabel> + </states> + <callInputAlphabet> + <LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol> + </callInputAlphabet> + <returnInputAlphabet> + <LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol> + </returnInputAlphabet> + <localInputAlphabet> + <LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol> + </localInputAlphabet> + <stackAlphabet> + <LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><Character>#</Character></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><Character>⊥</Character></PrimitiveLabel></LabeledSymbol> + </stackAlphabet> + <initialStates> + <PrimitiveLabel><String>0</String></PrimitiveLabel> + </initialStates> + <bottomOfTheStackSymbol> + <LabeledSymbol><PrimitiveLabel><Character>⊥</Character></PrimitiveLabel></LabeledSymbol> + </bottomOfTheStackSymbol> + <finalStates> + <PrimitiveLabel><String>0</String></PrimitiveLabel> + </finalStates> + <transitions> + <callTransition> + <from><PrimitiveLabel><String>0</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>1</String></PrimitiveLabel></to> + <push> + <LabeledSymbol><PrimitiveLabel><Character>#</Character></PrimitiveLabel></LabeledSymbol> + </push> + </callTransition> + <callTransition> + <from><PrimitiveLabel><String>1</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>1</String></PrimitiveLabel></to> + <push> + <LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol> + </push> + </callTransition> + <callTransition> + <from><PrimitiveLabel><String>1</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol></input> + <to><PrimitiveLabel><String>2</String></PrimitiveLabel></to> + <push> + <LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol> + </push> + </callTransition> + <returnTransition> + <from><PrimitiveLabel><String>2</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol></input> + <pop> + <LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol> + </pop> + <to><PrimitiveLabel><String>2</String></PrimitiveLabel></to> + </returnTransition> + <returnTransition> + <from><PrimitiveLabel><String>2</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol></input> + <pop> + <LabeledSymbol><PrimitiveLabel><Character>#</Character></PrimitiveLabel></LabeledSymbol> + </pop> + <to><PrimitiveLabel><String>0</String></PrimitiveLabel></to> + </returnTransition> + </transitions> +</VisiblyPushdownNPDA>