From c487f22ae4a9de85b7154c699fcad87908f997ef Mon Sep 17 00:00:00 2001
From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz>
Date: Tue, 3 Nov 2015 15:17:19 +0100
Subject: [PATCH] test RHDPDA

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

diff --git a/examples2/automaton/RHDPDA6.xml b/examples2/automaton/RHDPDA6.xml
new file mode 100644
index 0000000000..b59de52f42
--- /dev/null
+++ b/examples2/automaton/RHDPDA6.xml
@@ -0,0 +1,64 @@
+<RealTimeHeightDeterministicNPDA>
+	<states>
+		<PrimitiveLabel><String>0</String></PrimitiveLabel>
+		<PrimitiveLabel><String>1</String></PrimitiveLabel>
+	</states>
+	<inputAlphabet>
+		<LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol>
+		<LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol>
+		<LabeledSymbol><PrimitiveLabel><Character>d</Character></PrimitiveLabel></LabeledSymbol>
+	</inputAlphabet>
+	<stackAlphabet>
+		<LabeledSymbol><PrimitiveLabel><Character>A</Character></PrimitiveLabel></LabeledSymbol>
+		<LabeledSymbol><PrimitiveLabel><Character>B</Character></PrimitiveLabel></LabeledSymbol>
+		<LabeledSymbol><PrimitiveLabel><Character>_</Character></PrimitiveLabel></LabeledSymbol>
+	</stackAlphabet>
+	<initialStates>
+		<PrimitiveLabel><String>0</String></PrimitiveLabel>
+	</initialStates>
+	<bottomOfTheStackSymbol>
+		<LabeledSymbol><PrimitiveLabel><Character>_</Character></PrimitiveLabel></LabeledSymbol>
+	</bottomOfTheStackSymbol>
+	<finalStates>
+		<PrimitiveLabel><String>1</String></PrimitiveLabel>
+	</finalStates>
+	<transitions>
+		<callTransition>
+			<from><PrimitiveLabel><String>0</String></PrimitiveLabel></from>
+			<input><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol></input>
+			<to><PrimitiveLabel><String>0</String></PrimitiveLabel></to>
+			<push>
+				<LabeledSymbol><PrimitiveLabel><Character>A</Character></PrimitiveLabel></LabeledSymbol>
+			</push>
+		</callTransition>
+		<localTransition>
+			<from><PrimitiveLabel><String>0</String></PrimitiveLabel></from>
+			<input><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol></input>
+			<to><PrimitiveLabel><String>1</String></PrimitiveLabel></to>
+		</localTransition>
+		<callTransition>
+			<from><PrimitiveLabel><String>0</String></PrimitiveLabel></from>
+			<input><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol></input>
+			<to><PrimitiveLabel><String>1</String></PrimitiveLabel></to>
+			<push>
+				<LabeledSymbol><PrimitiveLabel><Character>B</Character></PrimitiveLabel></LabeledSymbol>
+			</push>
+		</callTransition>
+		<returnTransition>
+			<from><PrimitiveLabel><String>1</String></PrimitiveLabel></from>
+			<input><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol></input>
+			<pop>
+				<LabeledSymbol><PrimitiveLabel><Character>A</Character></PrimitiveLabel></LabeledSymbol>
+			</pop>
+			<to><PrimitiveLabel><String>1</String></PrimitiveLabel></to>
+		</returnTransition>
+		<returnTransition>
+			<from><PrimitiveLabel><String>1</String></PrimitiveLabel></from>
+			<input><LabeledSymbol><PrimitiveLabel><Character>d</Character></PrimitiveLabel></LabeledSymbol></input>
+			<pop>
+				<LabeledSymbol><PrimitiveLabel><Character>B</Character></PrimitiveLabel></LabeledSymbol>
+			</pop>
+			<to><PrimitiveLabel><String>1</String></PrimitiveLabel></to>
+		</returnTransition>
+	</transitions>
+</RealTimeHeightDeterministicNPDA>
-- 
GitLab