diff --git a/examples2/automaton/NPDA5.xml b/examples2/automaton/NPDA5.xml
new file mode 100644
index 0000000000000000000000000000000000000000..0b4747ff297b84812a8a46baff5d858f73e19aab
--- /dev/null
+++ b/examples2/automaton/NPDA5.xml
@@ -0,0 +1,138 @@
+<?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>