Skip to content
Snippets Groups Projects
Commit dce96d49 authored by Jan Trávníček's avatar Jan Trávníček
Browse files

another example automaton

parent a064c1bf
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
examples2/automaton/NPDA2.xml 0 → 100644
+ 126
− 0
View file @ dce96d49
<NPDA>
<states>
<PrimitiveLabel><String>q0</String></PrimitiveLabel>
<PrimitiveLabel><String>a1</String></PrimitiveLabel>
<PrimitiveLabel><String>b5</String></PrimitiveLabel>
<PrimitiveLabel><String>|6</String></PrimitiveLabel>
<PrimitiveLabel><String>|4</String></PrimitiveLabel>
</states>
<inputAlphabet>
<LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol>
<LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol>
<LabeledSymbol><PrimitiveLabel><Character>|</Character></PrimitiveLabel></LabeledSymbol>
</inputAlphabet>
<stackAlphabet>
<LabeledSymbol><PrimitiveLabel><String>SQ2</String></PrimitiveLabel></LabeledSymbol>
<LabeledSymbol><PrimitiveLabel><String>SQ3</String></PrimitiveLabel></LabeledSymbol>
<LabeledSymbol><PrimitiveLabel><String>Z</String></PrimitiveLabel></LabeledSymbol>
</stackAlphabet>
<initialState>
<PrimitiveLabel><String>q0</String></PrimitiveLabel>
</initialState>
<initialStackSymbol>
<LabeledSymbol><PrimitiveLabel><String>Z</String></PrimitiveLabel></LabeledSymbol>
</initialStackSymbol>
<finalStates>
<PrimitiveLabel><String>|4</String></PrimitiveLabel>
</finalStates>
<transitions>
<transition>
<from><PrimitiveLabel><String>q0</String></PrimitiveLabel></from>
<input><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol></input>
<pop>
</pop>
<to><PrimitiveLabel><String>a1</String></PrimitiveLabel></to>
<push>
</push>
</transition>
<transition>
<from><PrimitiveLabel><String>a1</String></PrimitiveLabel></from>
<input><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol></input>
<pop>
</pop>
<to><PrimitiveLabel><String>b5</String></PrimitiveLabel></to>
<push>
</push>
</transition>
<transition>
<from><PrimitiveLabel><String>a1</String></PrimitiveLabel></from>
<input><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol></input>
<pop>
</pop>
<to><PrimitiveLabel><String>a1</String></PrimitiveLabel></to>
<push>
<LabeledSymbol><PrimitiveLabel><String>SQ2</String></PrimitiveLabel></LabeledSymbol>
</push>
</transition>
<transition>
<from><PrimitiveLabel><String>b5</String></PrimitiveLabel></from>
<input><LabeledSymbol><PrimitiveLabel><Character>|</Character></PrimitiveLabel></LabeledSymbol></input>
<pop>
</pop>
<to><PrimitiveLabel><String>|6</String></PrimitiveLabel></to>
<push>
</push>
</transition>
<transition>
<from><PrimitiveLabel><String>|6</String></PrimitiveLabel></from>
<input><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol></input>
<pop>
</pop>
<to><PrimitiveLabel><String>b5</String></PrimitiveLabel></to>
<push>
</push>
</transition>
<transition>
<from><PrimitiveLabel><String>|6</String></PrimitiveLabel></from>
<input><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol></input>
<pop>
</pop>
<to><PrimitiveLabel><String>a1</String></PrimitiveLabel></to>
<push>
<LabeledSymbol><PrimitiveLabel><String>SQ3</String></PrimitiveLabel></LabeledSymbol>
</push>
</transition>
<transition>
<from><PrimitiveLabel><String>|6</String></PrimitiveLabel></from>
<input><LabeledSymbol><PrimitiveLabel><Character>|</Character></PrimitiveLabel></LabeledSymbol></input>
<pop>
</pop>
<to><PrimitiveLabel><String>|4</String></PrimitiveLabel></to>
<push>
</push>
</transition>
<transition>
<from><PrimitiveLabel><String>|4</String></PrimitiveLabel></from>
<input><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol></input>
<pop>
<LabeledSymbol><PrimitiveLabel><String>SQ2</String></PrimitiveLabel></LabeledSymbol>
</pop>
<to><PrimitiveLabel><String>b5</String></PrimitiveLabel></to>
<push>
</push>
</transition>
<transition>
<from><PrimitiveLabel><String>|4</String></PrimitiveLabel></from>
<input><LabeledSymbol><PrimitiveLabel><Character>|</Character></PrimitiveLabel></LabeledSymbol></input>
<pop>
<LabeledSymbol><PrimitiveLabel><String>SQ3</String></PrimitiveLabel></LabeledSymbol>
</pop>
<to><PrimitiveLabel><String>|4</String></PrimitiveLabel></to>
<push>
</push>
</transition>
<transition>
<from><PrimitiveLabel><String>|4</String></PrimitiveLabel></from>
<input><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol></input>
<pop>
<LabeledSymbol><PrimitiveLabel><String>SQ2</String></PrimitiveLabel></LabeledSymbol>
</pop>
<to><PrimitiveLabel><String>a1</String></PrimitiveLabel></to>
<push>
<LabeledSymbol><PrimitiveLabel><String>SQ3</String></PrimitiveLabel></LabeledSymbol>
</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