From dce96d49e175fb16f8969dc56c1086d5b79af982 Mon Sep 17 00:00:00 2001
From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz>
Date: Tue, 20 Oct 2015 21:11:37 +0200
Subject: [PATCH] another example automaton

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

diff --git a/examples2/automaton/NPDA2.xml b/examples2/automaton/NPDA2.xml
new file mode 100644
index 0000000000..0f954b4443
--- /dev/null
+++ b/examples2/automaton/NPDA2.xml
@@ -0,0 +1,126 @@
+<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>
-- 
GitLab