Skip to content
Snippets Groups Projects
Commit c01d84a4 authored by Tomáš Pecka's avatar Tomáš Pecka
Browse files

fix prev commit

parent b392edb2
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
examples2/automaton/NPDA3.xml deleted 100644 → 0
+ 0
− 136
View file @ b392edb2
<?xml version="1.0"?>
<NPDA>
<states>
<PrimitiveLabel><String>q</String></PrimitiveLabel>
</states>
<inputAlphabet>
<LabeledSymbol><PrimitiveLabel><String>a2</String></PrimitiveLabel></LabeledSymbol>
<LabeledSymbol><PrimitiveLabel><String>b0</String></PrimitiveLabel></LabeledSymbol>
<LabeledSymbol><PrimitiveLabel><String>EOF</String></PrimitiveLabel></LabeledSymbol>
</inputAlphabet>
<stackAlphabet>
<LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol>
<LabeledSymbol><PrimitiveLabel><String>a2_2</String></PrimitiveLabel></LabeledSymbol>
<LabeledSymbol><PrimitiveLabel><String>b0_3</String></PrimitiveLabel></LabeledSymbol>
<LabeledSymbol><PrimitiveLabel><String>b0_4</String></PrimitiveLabel></LabeledSymbol>
<LabeledSymbol><PrimitiveLabel><String>Z0</String></PrimitiveLabel></LabeledSymbol>
</stackAlphabet>
<initialState>
<PrimitiveLabel><String>q</String></PrimitiveLabel>
</initialState>
<initialStackSymbol>
<LabeledSymbol><PrimitiveLabel><String>Z0</String></PrimitiveLabel></LabeledSymbol>
</initialStackSymbol>
<finalStates>
<PrimitiveLabel><String>f</String></PrimitiveLabel>
</finalStates>
<transitions>
<transition>
<from><PrimitiveLabel><String>q</String></PrimitiveLabel></from>
<input><LabeledSymbol><PrimitiveLabel><String>a2</String></PrimitiveLabel></LabeledSymbol></input>
<pop>
<LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol>
<LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol>
</pop>
<to><PrimitiveLabel><String>q</String></PrimitiveLabel></to>
<push>
<LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol>
</push>
</transition>
<transition>
<from><PrimitiveLabel><String>q</String></PrimitiveLabel></from>
<input><LabeledSymbol><PrimitiveLabel><String>a2</String></PrimitiveLabel></LabeledSymbol></input>
<pop>
<LabeledSymbol><PrimitiveLabel><String>a2_2</String></PrimitiveLabel></LabeledSymbol>
<LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol>
</pop>
<to><PrimitiveLabel><String>q</String></PrimitiveLabel></to>
<push>
<LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol>
</push>
</transition>
<transition>
<from><PrimitiveLabel><String>q</String></PrimitiveLabel></from>
<input><LabeledSymbol><PrimitiveLabel><String>a2</String></PrimitiveLabel></LabeledSymbol></input>
<pop>
<LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol>
<LabeledSymbol><PrimitiveLabel><String>a2_2</String></PrimitiveLabel></LabeledSymbol>
</pop>
<to><PrimitiveLabel><String>q</String></PrimitiveLabel></to>
<push>
<LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol>
</push>
</transition>
<transition>
<from><PrimitiveLabel><String>q</String></PrimitiveLabel></from>
<input><LabeledSymbol><PrimitiveLabel><String>a2</String></PrimitiveLabel></LabeledSymbol></input>
<pop>
<LabeledSymbol><PrimitiveLabel><String>a2_2</String></PrimitiveLabel></LabeledSymbol>
<LabeledSymbol><PrimitiveLabel><String>a2_2</String></PrimitiveLabel></LabeledSymbol>
</pop>
<to><PrimitiveLabel><String>q</String></PrimitiveLabel></to>
<push>
<LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol>
</push>
</transition>
<transition>
<from><PrimitiveLabel><String>q</String></PrimitiveLabel></from>
<input><LabeledSymbol><PrimitiveLabel><String>a2</String></PrimitiveLabel></LabeledSymbol></input>
<pop>
<LabeledSymbol><PrimitiveLabel><String>b0_4</String></PrimitiveLabel></LabeledSymbol>
<LabeledSymbol><PrimitiveLabel><String>b0_3</String></PrimitiveLabel></LabeledSymbol>
</pop>
<to><PrimitiveLabel><String>q</String></PrimitiveLabel></to>
<push>
<LabeledSymbol><PrimitiveLabel><String>a2_2</String></PrimitiveLabel></LabeledSymbol>
</push>
</transition>
<transition>
<from><PrimitiveLabel><String>q</String></PrimitiveLabel></from>
<input><LabeledSymbol><PrimitiveLabel><String>b0</String></PrimitiveLabel></LabeledSymbol></input>
<pop>
</pop>
<to><PrimitiveLabel><String>q</String></PrimitiveLabel></to>
<push>
<LabeledSymbol><PrimitiveLabel><String>b0_3</String></PrimitiveLabel></LabeledSymbol>
</push>
</transition>
<transition>
<from><PrimitiveLabel><String>q</String></PrimitiveLabel></from>
<input><LabeledSymbol><PrimitiveLabel><String>b0</String></PrimitiveLabel></LabeledSymbol></input>
<pop>
</pop>
<to><PrimitiveLabel><String>q</String></PrimitiveLabel></to>
<push>
<LabeledSymbol><PrimitiveLabel><String>b0_4</String></PrimitiveLabel></LabeledSymbol>
</push>
</transition>
<transition>
<from><PrimitiveLabel><String>q</String></PrimitiveLabel></from>
<input><LabeledSymbol><PrimitiveLabel><String>EOF</String></PrimitiveLabel></LabeledSymbol></input>
<pop>
<LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol>
<LabeledSymbol><PrimitiveLabel><String>Z0</String></PrimitiveLabel></LabeledSymbol>
</pop>
<to><PrimitiveLabel><String>q</String></PrimitiveLabel></to>
<push>
</push>
</transition>
<transition>
<from><PrimitiveLabel><String>q</String></PrimitiveLabel></from>
<input><LabeledSymbol><PrimitiveLabel><String>EOF</String></PrimitiveLabel></LabeledSymbol></input>
<pop>
<LabeledSymbol><PrimitiveLabel><String>a2_2</String></PrimitiveLabel></LabeledSymbol>
<LabeledSymbol><PrimitiveLabel><String>Z0</String></PrimitiveLabel></LabeledSymbol>
</pop>
<to><PrimitiveLabel><String>q</String></PrimitiveLabel></to>
<push>
</push>
</transition>
</transitions>
</NPDA>
examples2/automaton/NPDA4.xml
+ 101
− 0
View file @ c01d84a4
......@@ -94,9 +94,47 @@
<from><PrimitiveLabel><String>q</String></PrimitiveLabel></from>
<input><LabeledSymbol><PrimitiveLabel><String>b0</String></PrimitiveLabel></LabeledSymbol></input>
<pop>
<LabeledSymbol><PrimitiveLabel><String>Z0</String></PrimitiveLabel></LabeledSymbol>
</pop>
<to><PrimitiveLabel><String>q</String></PrimitiveLabel></to>
<push>
<LabeledSymbol><PrimitiveLabel><String>b0_4</String></PrimitiveLabel></LabeledSymbol>
<LabeledSymbol><PrimitiveLabel><String>Z0</String></PrimitiveLabel></LabeledSymbol>
</push>
</transition>
<transition>
<from><PrimitiveLabel><String>q</String></PrimitiveLabel></from>
<input><LabeledSymbol><PrimitiveLabel><String>b0</String></PrimitiveLabel></LabeledSymbol></input>
<pop>
<LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol>
</pop>
<to><PrimitiveLabel><String>q</String></PrimitiveLabel></to>
<push>
<LabeledSymbol><PrimitiveLabel><String>b0_4</String></PrimitiveLabel></LabeledSymbol>
<LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol>
</push>
</transition>
<transition>
<from><PrimitiveLabel><String>q</String></PrimitiveLabel></from>
<input><LabeledSymbol><PrimitiveLabel><String>b0</String></PrimitiveLabel></LabeledSymbol></input>
<pop>
<LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol>
</pop>
<to><PrimitiveLabel><String>q</String></PrimitiveLabel></to>
<push>
<LabeledSymbol><PrimitiveLabel><String>b0_4</String></PrimitiveLabel></LabeledSymbol>
<LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol>
</push>
</transition>
<transition>
<from><PrimitiveLabel><String>q</String></PrimitiveLabel></from>
<input><LabeledSymbol><PrimitiveLabel><String>b0</String></PrimitiveLabel></LabeledSymbol></input>
<pop>
<LabeledSymbol><PrimitiveLabel><String>b0_3</String></PrimitiveLabel></LabeledSymbol>
</pop>
<to><PrimitiveLabel><String>q</String></PrimitiveLabel></to>
<push>
<LabeledSymbol><PrimitiveLabel><String>b0_4</String></PrimitiveLabel></LabeledSymbol>
<LabeledSymbol><PrimitiveLabel><String>b0_3</String></PrimitiveLabel></LabeledSymbol>
</push>
</transition>
......@@ -104,12 +142,75 @@
<from><PrimitiveLabel><String>q</String></PrimitiveLabel></from>
<input><LabeledSymbol><PrimitiveLabel><String>b0</String></PrimitiveLabel></LabeledSymbol></input>
<pop>
<LabeledSymbol><PrimitiveLabel><String>b0_4</String></PrimitiveLabel></LabeledSymbol>
</pop>
<to><PrimitiveLabel><String>q</String></PrimitiveLabel></to>
<push>
<LabeledSymbol><PrimitiveLabel><String>b0_4</String></PrimitiveLabel></LabeledSymbol>
<LabeledSymbol><PrimitiveLabel><String>b0_4</String></PrimitiveLabel></LabeledSymbol>
</push>
</transition>
<transition>
<from><PrimitiveLabel><String>q</String></PrimitiveLabel></from>
<input><LabeledSymbol><PrimitiveLabel><String>b0</String></PrimitiveLabel></LabeledSymbol></input>
<pop>
<LabeledSymbol><PrimitiveLabel><String>Z0</String></PrimitiveLabel></LabeledSymbol>
</pop>
<to><PrimitiveLabel><String>q</String></PrimitiveLabel></to>
<push>
<LabeledSymbol><PrimitiveLabel><String>b0_3</String></PrimitiveLabel></LabeledSymbol>
<LabeledSymbol><PrimitiveLabel><String>Z0</String></PrimitiveLabel></LabeledSymbol>
</push>
</transition>
<transition>
<from><PrimitiveLabel><String>q</String></PrimitiveLabel></from>
<input><LabeledSymbol><PrimitiveLabel><String>b0</String></PrimitiveLabel></LabeledSymbol></input>
<pop>
<LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol>
</pop>
<to><PrimitiveLabel><String>q</String></PrimitiveLabel></to>
<push>
<LabeledSymbol><PrimitiveLabel><String>b0_3</String></PrimitiveLabel></LabeledSymbol>
<LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol>
</push>
</transition>
<transition>
<from><PrimitiveLabel><String>q</String></PrimitiveLabel></from>
<input><LabeledSymbol><PrimitiveLabel><String>b0</String></PrimitiveLabel></LabeledSymbol></input>
<pop>
<LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol>
</pop>
<to><PrimitiveLabel><String>q</String></PrimitiveLabel></to>
<push>
<LabeledSymbol><PrimitiveLabel><String>b0_3</String></PrimitiveLabel></LabeledSymbol>
<LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol>
</push>
</transition>
<transition>
<from><PrimitiveLabel><String>q</String></PrimitiveLabel></from>
<input><LabeledSymbol><PrimitiveLabel><String>b0</String></PrimitiveLabel></LabeledSymbol></input>
<pop>
<LabeledSymbol><PrimitiveLabel><String>b0_3</String></PrimitiveLabel></LabeledSymbol>
</pop>
<to><PrimitiveLabel><String>q</String></PrimitiveLabel></to>
<push>
<LabeledSymbol><PrimitiveLabel><String>b0_3</String></PrimitiveLabel></LabeledSymbol>
<LabeledSymbol><PrimitiveLabel><String>b0_3</String></PrimitiveLabel></LabeledSymbol>
</push>
</transition>
<transition>
<from><PrimitiveLabel><String>q</String></PrimitiveLabel></from>
<input><LabeledSymbol><PrimitiveLabel><String>b0</String></PrimitiveLabel></LabeledSymbol></input>
<pop>
<LabeledSymbol><PrimitiveLabel><String>b0_4</String></PrimitiveLabel></LabeledSymbol>
</pop>
<to><PrimitiveLabel><String>q</String></PrimitiveLabel></to>
<push>
<LabeledSymbol><PrimitiveLabel><String>b0_3</String></PrimitiveLabel></LabeledSymbol>
<LabeledSymbol><PrimitiveLabel><String>b0_4</String></PrimitiveLabel></LabeledSymbol>
</push>
</transition>
 
<transition>
<from><PrimitiveLabel><String>q</String></PrimitiveLabel></from>
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment