From c74361131b7fb70272cc37989f2b973ecbb44071 Mon Sep 17 00:00:00 2001
From: Jan Vesely <janvesely@janvesely.net>
Date: Thu, 10 Apr 2014 13:55:55 +0200
Subject: [PATCH] rename rhdpda examples
---
examples/automaton/RHDPDA1.xml | 226 +++++++++++++++++++++++++++++++++
examples/automaton/RHDPDA2.xml | 144 +++------------------
examples/automaton/RHDPDA3.xml | 81 +-----------
examples/automaton/RHDPDA4.xml | 5 +-
examples/automaton/RHDPDA5.xml | 42 ------
5 files changed, 249 insertions(+), 249 deletions(-)
create mode 100644 examples/automaton/RHDPDA1.xml
delete mode 100644 examples/automaton/RHDPDA5.xml
diff --git a/examples/automaton/RHDPDA1.xml b/examples/automaton/RHDPDA1.xml
new file mode 100644
index 0000000000..b6ee03f349
--- /dev/null
+++ b/examples/automaton/RHDPDA1.xml
@@ -0,0 +1,226 @@
+<automaton>
+ <states>
+ <state>0</state>
+ <state>1</state>
+ <state>2</state>
+ <state>3</state>
+ <state>ERR</state>
+ </states>
+ <inputAlphabet>
+ <symbol>a</symbol>
+ <symbol>b</symbol>
+ </inputAlphabet>
+ <stackAlphabet>
+ <symbol>a</symbol>
+ <symbol>x</symbol>
+ <symbol>_</symbol>
+ </stackAlphabet>
+ <transitions>
+ <transition>
+ <from>0</from>
+ <input>a</input>
+ <to>1</to>
+ <pop>
+ <symbol>_</symbol>
+ </pop>
+ <push>
+ <symbol>x</symbol>
+ <symbol>_</symbol>
+ </push>
+ </transition>
+ <transition>
+ <from>0</from>
+ <input>b</input>
+ <to>3</to>
+ <pop>
+ <symbol>_</symbol>
+ </pop>
+ <push>
+ <symbol>_</symbol>
+ </push>
+ </transition>
+ <transition>
+ <from>1</from>
+ <input>a</input>
+ <to>1</to>
+ <pop>
+ <symbol>a</symbol>
+ </pop>
+ <push>
+ <symbol>a</symbol>
+ <symbol>a</symbol>
+ </push>
+ </transition>
+ <transition>
+ <from>1</from>
+ <input>a</input>
+ <to>1</to>
+ <pop>
+ <symbol>x</symbol>
+ </pop>
+ <push>
+ <symbol>a</symbol>
+ <symbol>x</symbol>
+ </push>
+ </transition>
+ <transition>
+ <from>1</from>
+ <input>b</input>
+ <to>2</to>
+ <pop>
+ <symbol>a</symbol>
+ </pop>
+ <push>
+ <symbol>a</symbol>
+ </push>
+ </transition>
+ <transition>
+ <from>1</from>
+ <input>b</input>
+ <to>2</to>
+ <pop>
+ <symbol>x</symbol>
+ </pop>
+ <push>
+ <symbol>x</symbol>
+ </push>
+ </transition>
+ <transition>
+ <from>2</from>
+ <input>a</input>
+ <to>2</to>
+ <pop>
+ <symbol>a</symbol>
+ </pop>
+ <push></push>
+ </transition>
+ <transition>
+ <from>2</from>
+ <input>a</input>
+ <to>3</to>
+ <pop>
+ <symbol>x</symbol>
+ </pop>
+ <push></push>
+ </transition>
+ <transition>
+ <from>2</from>
+ <input>b</input>
+ <to>ERR</to>
+ <pop>
+ <symbol>a</symbol>
+ </pop>
+ <push>
+ <symbol>a</symbol>
+ </push>
+ </transition>
+ <transition>
+ <from>2</from>
+ <input>b</input>
+ <to>ERR</to>
+ <pop>
+ <symbol>x</symbol>
+ </pop>
+ <push>
+ <symbol>x</symbol>
+ </push>
+ </transition>
+ <transition>
+ <from>3</from>
+ <input>a</input>
+ <to>ERR</to>
+ <pop>
+ <symbol>_</symbol>
+ </pop>
+ <push>
+ <symbol>_</symbol>
+ </push>
+ </transition>
+ <transition>
+ <from>3</from>
+ <input>b</input>
+ <to>ERR</to>
+ <pop>
+ <symbol>_</symbol>
+ </pop>
+ <push>
+ <symbol>_</symbol>
+ </push>
+ </transition>
+ <transition>
+ <from>ERR</from>
+ <input>a</input>
+ <to>ERR</to>
+ <pop>
+ <symbol>_</symbol>
+ </pop>
+ <push>
+ <symbol>_</symbol>
+ </push>
+ </transition>
+ <transition>
+ <from>ERR</from>
+ <input>a</input>
+ <to>ERR</to>
+ <pop>
+ <symbol>a</symbol>
+ </pop>
+ <push>
+ <symbol>a</symbol>
+ </push>
+ </transition>
+ <transition>
+ <from>ERR</from>
+ <input>a</input>
+ <to>ERR</to>
+ <pop>
+ <symbol>x</symbol>
+ </pop>
+ <push>
+ <symbol>x</symbol>
+ </push>
+ </transition>
+ <transition>
+ <from>ERR</from>
+ <input>b</input>
+ <to>ERR</to>
+ <pop>
+ <symbol>_</symbol>
+ </pop>
+ <push>
+ <symbol>_</symbol>
+ </push>
+ </transition>
+ <transition>
+ <from>ERR</from>
+ <input>b</input>
+ <to>ERR</to>
+ <pop>
+ <symbol>a</symbol>
+ </pop>
+ <push>
+ <symbol>a</symbol>
+ </push>
+ </transition>
+ <transition>
+ <from>ERR</from>
+ <input>b</input>
+ <to>ERR</to>
+ <pop>
+ <symbol>x</symbol>
+ </pop>
+ <push>
+ <symbol>x</symbol>
+ </push>
+ </transition>
+ </transitions>
+ <initialStates>
+ <state>0</state>
+ </initialStates>
+ <startSymbols>
+ <symbol>_</symbol>
+ </startSymbols>
+ <finalStates>
+ <state>3</state>
+ </finalStates>
+</automaton>
diff --git a/examples/automaton/RHDPDA2.xml b/examples/automaton/RHDPDA2.xml
index b6ee03f349..772fa58790 100644
--- a/examples/automaton/RHDPDA2.xml
+++ b/examples/automaton/RHDPDA2.xml
@@ -20,56 +20,23 @@
<from>0</from>
<input>a</input>
<to>1</to>
- <pop>
- <symbol>_</symbol>
- </pop>
+ <pop></pop>
<push>
<symbol>x</symbol>
- <symbol>_</symbol>
</push>
</transition>
<transition>
<from>0</from>
<input>b</input>
<to>3</to>
- <pop>
- <symbol>_</symbol>
- </pop>
- <push>
- <symbol>_</symbol>
- </push>
- </transition>
- <transition>
- <from>1</from>
- <input>a</input>
- <to>1</to>
- <pop>
- <symbol>a</symbol>
- </pop>
- <push>
- <symbol>a</symbol>
- <symbol>a</symbol>
- </push>
+ <pop></pop>
+ <push></push>
</transition>
<transition>
<from>1</from>
<input>a</input>
<to>1</to>
- <pop>
- <symbol>x</symbol>
- </pop>
- <push>
- <symbol>a</symbol>
- <symbol>x</symbol>
- </push>
- </transition>
- <transition>
- <from>1</from>
- <input>b</input>
- <to>2</to>
- <pop>
- <symbol>a</symbol>
- </pop>
+ <pop></pop>
<push>
<symbol>a</symbol>
</push>
@@ -78,12 +45,8 @@
<from>1</from>
<input>b</input>
<to>2</to>
- <pop>
- <symbol>x</symbol>
- </pop>
- <push>
- <symbol>x</symbol>
- </push>
+ <pop></pop>
+ <push></push>
</transition>
<transition>
<from>2</from>
@@ -107,111 +70,36 @@
<from>2</from>
<input>b</input>
<to>ERR</to>
- <pop>
- <symbol>a</symbol>
- </pop>
- <push>
- <symbol>a</symbol>
- </push>
- </transition>
- <transition>
- <from>2</from>
- <input>b</input>
- <to>ERR</to>
- <pop>
- <symbol>x</symbol>
- </pop>
- <push>
- <symbol>x</symbol>
- </push>
+ <pop></pop>
+ <push></push>
</transition>
<transition>
<from>3</from>
<input>a</input>
<to>ERR</to>
- <pop>
- <symbol>_</symbol>
- </pop>
- <push>
- <symbol>_</symbol>
- </push>
+ <pop></pop>
+ <push></push>
</transition>
<transition>
<from>3</from>
<input>b</input>
<to>ERR</to>
- <pop>
- <symbol>_</symbol>
- </pop>
- <push>
- <symbol>_</symbol>
- </push>
- </transition>
- <transition>
- <from>ERR</from>
- <input>a</input>
- <to>ERR</to>
- <pop>
- <symbol>_</symbol>
- </pop>
- <push>
- <symbol>_</symbol>
- </push>
- </transition>
- <transition>
- <from>ERR</from>
- <input>a</input>
- <to>ERR</to>
- <pop>
- <symbol>a</symbol>
- </pop>
- <push>
- <symbol>a</symbol>
- </push>
+ <pop></pop>
+ <push></push>
</transition>
<transition>
<from>ERR</from>
<input>a</input>
<to>ERR</to>
- <pop>
- <symbol>x</symbol>
- </pop>
- <push>
- <symbol>x</symbol>
- </push>
- </transition>
- <transition>
- <from>ERR</from>
- <input>b</input>
- <to>ERR</to>
- <pop>
- <symbol>_</symbol>
- </pop>
- <push>
- <symbol>_</symbol>
- </push>
- </transition>
- <transition>
- <from>ERR</from>
- <input>b</input>
- <to>ERR</to>
- <pop>
- <symbol>a</symbol>
- </pop>
- <push>
- <symbol>a</symbol>
- </push>
+ <pop></pop>
+ <push></push>
</transition>
<transition>
<from>ERR</from>
<input>b</input>
<to>ERR</to>
- <pop>
- <symbol>x</symbol>
- </pop>
- <push>
- <symbol>x</symbol>
- </push>
+ <pop></pop>
+ <push></push>
</transition>
</transitions>
<initialStates>
diff --git a/examples/automaton/RHDPDA3.xml b/examples/automaton/RHDPDA3.xml
index 772fa58790..8ca65104a1 100644
--- a/examples/automaton/RHDPDA3.xml
+++ b/examples/automaton/RHDPDA3.xml
@@ -2,17 +2,12 @@
<states>
<state>0</state>
<state>1</state>
- <state>2</state>
- <state>3</state>
- <state>ERR</state>
</states>
<inputAlphabet>
<symbol>a</symbol>
- <symbol>b</symbol>
</inputAlphabet>
<stackAlphabet>
<symbol>a</symbol>
- <symbol>x</symbol>
<symbol>_</symbol>
</stackAlphabet>
<transitions>
@@ -20,87 +15,23 @@
<from>0</from>
<input>a</input>
<to>1</to>
- <pop></pop>
- <push>
- <symbol>x</symbol>
- </push>
- </transition>
- <transition>
- <from>0</from>
- <input>b</input>
- <to>3</to>
- <pop></pop>
- <push></push>
- </transition>
- <transition>
- <from>1</from>
- <input>a</input>
- <to>1</to>
- <pop></pop>
+ <pop>
+ <symbol>_</symbol>
+ </pop>
<push>
<symbol>a</symbol>
+ <symbol>_</symbol>
</push>
</transition>
<transition>
<from>1</from>
- <input>b</input>
- <to>2</to>
- <pop></pop>
- <push></push>
- </transition>
- <transition>
- <from>2</from>
<input>a</input>
- <to>2</to>
+ <to>0</to>
<pop>
<symbol>a</symbol>
</pop>
<push></push>
</transition>
- <transition>
- <from>2</from>
- <input>a</input>
- <to>3</to>
- <pop>
- <symbol>x</symbol>
- </pop>
- <push></push>
- </transition>
- <transition>
- <from>2</from>
- <input>b</input>
- <to>ERR</to>
- <pop></pop>
- <push></push>
- </transition>
- <transition>
- <from>3</from>
- <input>a</input>
- <to>ERR</to>
- <pop></pop>
- <push></push>
- </transition>
- <transition>
- <from>3</from>
- <input>b</input>
- <to>ERR</to>
- <pop></pop>
- <push></push>
- </transition>
- <transition>
- <from>ERR</from>
- <input>a</input>
- <to>ERR</to>
- <pop></pop>
- <push></push>
- </transition>
- <transition>
- <from>ERR</from>
- <input>b</input>
- <to>ERR</to>
- <pop></pop>
- <push></push>
- </transition>
</transitions>
<initialStates>
<state>0</state>
@@ -109,6 +40,6 @@
<symbol>_</symbol>
</startSymbols>
<finalStates>
- <state>3</state>
+ <state>0</state>
</finalStates>
</automaton>
diff --git a/examples/automaton/RHDPDA4.xml b/examples/automaton/RHDPDA4.xml
index 8ca65104a1..91a822d4ee 100644
--- a/examples/automaton/RHDPDA4.xml
+++ b/examples/automaton/RHDPDA4.xml
@@ -15,12 +15,9 @@
<from>0</from>
<input>a</input>
<to>1</to>
- <pop>
- <symbol>_</symbol>
- </pop>
+ <pop></pop>
<push>
<symbol>a</symbol>
- <symbol>_</symbol>
</push>
</transition>
<transition>
diff --git a/examples/automaton/RHDPDA5.xml b/examples/automaton/RHDPDA5.xml
deleted file mode 100644
index 91a822d4ee..0000000000
--- a/examples/automaton/RHDPDA5.xml
+++ /dev/null
@@ -1,42 +0,0 @@
-<automaton>
- <states>
- <state>0</state>
- <state>1</state>
- </states>
- <inputAlphabet>
- <symbol>a</symbol>
- </inputAlphabet>
- <stackAlphabet>
- <symbol>a</symbol>
- <symbol>_</symbol>
- </stackAlphabet>
- <transitions>
- <transition>
- <from>0</from>
- <input>a</input>
- <to>1</to>
- <pop></pop>
- <push>
- <symbol>a</symbol>
- </push>
- </transition>
- <transition>
- <from>1</from>
- <input>a</input>
- <to>0</to>
- <pop>
- <symbol>a</symbol>
- </pop>
- <push></push>
- </transition>
- </transitions>
- <initialStates>
- <state>0</state>
- </initialStates>
- <startSymbols>
- <symbol>_</symbol>
- </startSymbols>
- <finalStates>
- <state>0</state>
- </finalStates>
-</automaton>
--
GitLab