diff --git a/examples/automaton/NVPA3.xml b/examples/automaton/NVPA3.xml
new file mode 100644
index 0000000000000000000000000000000000000000..d83ab636b8e2424ea481e5b28fd51dc86a8de4b0
--- /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>