From f9b784408547f402d41efae6017882a18d9aa9fb Mon Sep 17 00:00:00 2001
From: Jan Vesely <janvesely@janvesely.net>
Date: Sun, 6 Apr 2014 14:07:30 +0200
Subject: [PATCH] add third nvpa example

---
 examples/automaton/NVPA3.xml | 73 ++++++++++++++++++++++++++++++++++++
 1 file changed, 73 insertions(+)
 create mode 100644 examples/automaton/NVPA3.xml

diff --git a/examples/automaton/NVPA3.xml b/examples/automaton/NVPA3.xml
new file mode 100644
index 0000000000..d83ab636b8
--- /dev/null
+++ b/examples/automaton/NVPA3.xml
@@ -0,0 +1,73 @@
+<automaton>
+  <states>
+    <state>0</state>
+    <state>1</state>
+    <state>2</state>
+  </states>
+  <inputAlphabet>
+    <symbol>a</symbol>
+    <symbol>b</symbol>
+    <symbol>c</symbol>
+  </inputAlphabet>
+  <stackAlphabet>
+    <symbol>a</symbol>
+    <symbol>#</symbol>
+    <symbol>⊥</symbol>
+  </stackAlphabet>
+  <transitions>
+    <transition>
+      <from>0</from>
+      <input>a</input>
+      <to>1</to>
+      <pop></pop>
+      <push>
+        <symbol>#</symbol>
+      </push>
+    </transition>
+    <transition>
+      <from>1</from>
+      <input>a</input>
+      <to>1</to>
+      <pop></pop>
+      <push>
+        <symbol>a</symbol>
+      </push>
+    </transition>
+    <transition>
+      <from>1</from>
+      <input>a</input>
+      <to>2</to>
+      <pop></pop>
+      <push>
+        <symbol>a</symbol>
+      </push>
+    </transition>
+    <transition>
+      <from>2</from>
+      <input>c</input>
+      <to>2</to>
+      <pop>
+        <symbol>a</symbol>
+      </pop>
+      <push></push>
+    </transition>
+    <transition>
+      <from>2</from>
+      <input>c</input>
+      <to>0</to>
+      <pop>
+        <symbol>#</symbol>
+      </pop>
+      <push></push>
+    </transition>
+  </transitions>
+  <initialStates>
+    <state>0</state>
+  </initialStates>
+  <startSymbols>
+    <symbol>⊥</symbol>
+  </startSymbols>
+  <finalStates>
+    <state>0</state>
+  </finalStates>
+</automaton>
-- 
GitLab