From 9813f3f164d2f9db9a4b5f6f3b86d9378fbd7cb3 Mon Sep 17 00:00:00 2001
From: Tomas Pecka <peckato1@fit.cvut.cz>
Date: Tue, 22 Mar 2016 13:09:26 +0100
Subject: [PATCH] NPDA5

---
 examples2/automaton/NPDA5.xml | 138 ++++++++++++++++++++++++++++++++++
 1 file changed, 138 insertions(+)
 create mode 100644 examples2/automaton/NPDA5.xml

diff --git a/examples2/automaton/NPDA5.xml b/examples2/automaton/NPDA5.xml
new file mode 100644
index 0000000000..0b4747ff29
--- /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>
-- 
GitLab