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

NPDA5

parent c01d84a4
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
examples2/automaton/NPDA5.xml 0 → 100644
+ 138
− 0
View file @ 9813f3f1
<?xml version="1.0"?>
<NPDA>
<states>
<PrimitiveLabel><String>q</String></PrimitiveLabel>
<PrimitiveLabel><String>f</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>f</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>f</String></PrimitiveLabel></to>
<push>
</push>
</transition>
</transitions>
</NPDA>
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