diff --git a/examples/automaton/NIDPDA1.DET.xml b/examples/automaton/NIDPDA1.DET.xml new file mode 100644 index 0000000000000000000000000000000000000000..55acf68a7c8af10372e0f03d978182f3a77ce50f --- /dev/null +++ b/examples/automaton/NIDPDA1.DET.xml @@ -0,0 +1,77 @@ +<automaton> + <states> + <state>['0']</state> + <state>['1']</state> + <state>['1', '2']</state> + <state>['2']</state> + <state>['3']</state> + </states> + <inputAlphabet> + <symbol>a</symbol> + <symbol>b</symbol> + <symbol>c</symbol> + <symbol>d</symbol> + </inputAlphabet> + <stackAlphabet> + <symbol>a</symbol> + <symbol>b</symbol> + </stackAlphabet> + <transitions> + <transition> + <from>['0']</from> + <input>a</input> + <to>['1']</to> + <pop></pop> + <push><symbol>a</symbol></push> + </transition> + <transition> + <from>['1']</from> + <input>b</input> + <to>['1', '2']</to> + <pop></pop> + <push><symbol>b</symbol></push> + </transition> + <transition> + <from>['1', '2']</from> + <input>b</input> + <to>['1', '2']</to> + <pop></pop> + <push><symbol>b</symbol></push> + </transition> + <transition> + <from>['1', '2']</from> + <input>c</input> + <to>['2']</to> + <pop><symbol>b</symbol></pop> + <push></push> + </transition> + <transition> + <from>['1', '2']</from> + <input>d</input> + <to>['3']</to> + <pop><symbol>a</symbol></pop> + <push></push> + </transition> + <transition> + <from>['2']</from> + <input>c</input> + <to>['2']</to> + <pop><symbol>b</symbol></pop> + <push></push> + </transition> + <transition> + <from>['2']</from> + <input>d</input> + <to>['3']</to> + <pop><symbol>a</symbol></pop> + <push></push> + </transition> + </transitions> + <initialStates> + <state>['0']</state> + </initialStates> + <startSymbols></startSymbols> + <finalStates> + <state>['3']</state> + </finalStates> +</automaton> diff --git a/examples/automaton/NIDPDA2.DET.xml b/examples/automaton/NIDPDA2.DET.xml new file mode 100644 index 0000000000000000000000000000000000000000..cf64064d6aec32a649bdfb314b00034908474889 --- /dev/null +++ b/examples/automaton/NIDPDA2.DET.xml @@ -0,0 +1,77 @@ +<automaton> + <states> + <state>['0']</state> + <state>['0', '1', '2']</state> + <state>['1', '2']</state> + <state>['2']</state> + </states> + <inputAlphabet> + <symbol>a</symbol> + <symbol>b</symbol> + <symbol>c</symbol> + </inputAlphabet> + <stackAlphabet> + <symbol>a</symbol> + </stackAlphabet> + <transitions> + <transition> + <from>['0']</from> + <input>a</input> + <to>['0', '1', '2']</to> + <pop></pop> + <push><symbol>a</symbol></push> + </transition> + <transition> + <from>['0', '1', '2']</from> + <input>a</input> + <to>['0', '1', '2']</to> + <pop></pop> + <push><symbol>a</symbol></push> + </transition> + <transition> + <from>['0', '1', '2']</from> + <input>b</input> + <to>['1', '2']</to> + <pop><symbol>a</symbol></pop> + <push></push> + </transition> + <transition> + <from>['0', '1', '2']</from> + <input>c</input> + <to>['2']</to> + <pop><symbol>a</symbol></pop> + <push></push> + </transition> + <transition> + <from>['1', '2']</from> + <input>b</input> + <to>['1', '2']</to> + <pop><symbol>a</symbol></pop> + <push></push> + </transition> + <transition> + <from>['1', '2']</from> + <input>c</input> + <to>['2']</to> + <pop><symbol>a</symbol></pop> + <push></push> + </transition> + <transition> + <from>['2']</from> + <input>c</input> + <to>['2']</to> + <pop><symbol>a</symbol></pop> + <push></push> + </transition> + </transitions> + <initialStates> + <state>['0']</state> + </initialStates> + <startSymbols></startSymbols> + <finalStates> + <state>['0']</state> + <state>['0', '1', '2']</state> + <state>['1', '2']</state> + <state>['2']</state> + </finalStates> +</automaton> diff --git a/examples/automaton/NIDPDA3.DET.xml b/examples/automaton/NIDPDA3.DET.xml new file mode 100644 index 0000000000000000000000000000000000000000..48dc4528abfb243903b4f0a6edb0daa7494802f2 --- /dev/null +++ b/examples/automaton/NIDPDA3.DET.xml @@ -0,0 +1,99 @@ +<automaton> + <states> + <state>['0']</state> + <state>['0', 'B1', 'C1']</state> + <state>['B1', 'B2', 'C2']</state> + <state>['B1', 'B2']</state> + <state>['3', 'C2']</state> + <state>['3']</state> + <state>['4']</state> + </states> + <inputAlphabet> + <symbol>a</symbol> + <symbol>b</symbol> + <symbol>c</symbol> + <symbol>d</symbol> + </inputAlphabet> + <stackAlphabet> + <symbol>a</symbol> + </stackAlphabet> + <transitions> + <transition> + <from>['0']</from> + <input>a</input> + <to>['0', 'B1', 'C1']</to> + <pop></pop> + <push><symbol>a</symbol></push> + </transition> + <transition> + <from>['0', 'B1', 'C1']</from> + <input>a</input> + <to>['0', 'B1', 'C1']</to> + <pop></pop> + <push><symbol>a</symbol></push> + </transition> + <transition> + <from>['0', 'B1', 'C1']</from> + <input>b</input> + <to>['B1', 'B2', 'C2']</to> + <pop><symbol>a</symbol></pop> + <push></push> + </transition> + <transition> + <from>['B1', 'B2', 'C2']</from> + <input>b</input> + <to>['B1', 'B2']</to> + <pop><symbol>a</symbol></pop> + <push></push> + </transition> + <transition> + <from>['B1', 'B2', 'C2']</from> + <input>c</input> + <to>['3', 'C2']</to> + <pop><symbol>a</symbol></pop> + <push></push> + </transition> + <transition> + <from>['B1', 'B2']</from> + <input>b</input> + <to>['B1', 'B2']</to> + <pop><symbol>a</symbol></pop> + <push></push> + </transition> + <transition> + <from>['B1', 'B2']</from> + <input>c</input> + <to>['3']</to> + <pop><symbol>a</symbol></pop> + <push></push> + </transition> + <transition> + <from>['3', 'C2']</from> + <input>c</input> + <to>['3', 'C2']</to> + <pop><symbol>a</symbol></pop> + <push></push> + </transition> + <transition> + <from>['3', 'C2']</from> + <input>d</input> + <to>['4']</to> + <pop></pop> + <push></push> + </transition> + <transition> + <from>['3']</from> + <input>d</input> + <to>['4']</to> + <pop></pop> + <push></push> + </transition> + </transitions> + <initialStates> + <state>['0']</state> + </initialStates> + <startSymbols></startSymbols> + <finalStates> + <state>['4']</state> + </finalStates> +</automaton>