From 976656f6cf6a0a87c28a7436ddd3bb0577a5f1b1 Mon Sep 17 00:00:00 2001
From: Jan Vesely <janvesely@janvesely.net>
Date: Thu, 10 Apr 2014 14:45:14 +0200
Subject: [PATCH] use correct bottom of stack symbol in rhdpda determinization

---
 adeterminize/src/rhdpda/RhdpdaUtils.cpp |  2 +-
 examples/automaton/RHDPDA1.xml          | 28 ++++++++++++-------------
 examples/automaton/RHDPDA2.xml          |  4 ++--
 examples/automaton/RHDPDA3.xml          |  8 +++----
 examples/automaton/RHDPDA4.xml          |  4 ++--
 5 files changed, 23 insertions(+), 23 deletions(-)

diff --git a/adeterminize/src/rhdpda/RhdpdaUtils.cpp b/adeterminize/src/rhdpda/RhdpdaUtils.cpp
index fa13248787..eb71d962f2 100644
--- a/adeterminize/src/rhdpda/RhdpdaUtils.cpp
+++ b/adeterminize/src/rhdpda/RhdpdaUtils.cpp
@@ -4,7 +4,7 @@ namespace determinization {
 namespace rhdpda {
 
 
-const Symbol RhdpdaUtils::BOTTOM_OF_STACK_SYMBOL("_"); // TODO specialni symbol pro dno zasobniku zpusobuje chybu
+const Symbol RhdpdaUtils::BOTTOM_OF_STACK_SYMBOL("⊥");
 
 
 string RhdpdaUtils::buildPairName(const StateSymbolPair& pair)
diff --git a/examples/automaton/RHDPDA1.xml b/examples/automaton/RHDPDA1.xml
index b6ee03f349..ca6a04ba9a 100644
--- a/examples/automaton/RHDPDA1.xml
+++ b/examples/automaton/RHDPDA1.xml
@@ -13,7 +13,7 @@
   <stackAlphabet>
     <symbol>a</symbol>
     <symbol>x</symbol>
-    <symbol>_</symbol>
+    <symbol>⊥</symbol>
   </stackAlphabet>
   <transitions>
     <transition>
@@ -21,11 +21,11 @@
       <input>a</input>
       <to>1</to>
       <pop>
-        <symbol>_</symbol>
+        <symbol>⊥</symbol>
       </pop>
       <push>
         <symbol>x</symbol>
-        <symbol>_</symbol>
+        <symbol>⊥</symbol>
       </push>
     </transition>
     <transition>
@@ -33,10 +33,10 @@
       <input>b</input>
       <to>3</to>
       <pop>
-        <symbol>_</symbol>
+        <symbol>⊥</symbol>
       </pop>
       <push>
-        <symbol>_</symbol>
+        <symbol>⊥</symbol>
       </push>
     </transition>
     <transition>
@@ -130,10 +130,10 @@
       <input>a</input>
       <to>ERR</to>
       <pop>
-        <symbol>_</symbol>
+        <symbol>⊥</symbol>
       </pop>
       <push>
-        <symbol>_</symbol>
+        <symbol>⊥</symbol>
       </push>
     </transition>
     <transition>
@@ -141,10 +141,10 @@
       <input>b</input>
       <to>ERR</to>
       <pop>
-        <symbol>_</symbol>
+        <symbol>⊥</symbol>
       </pop>
       <push>
-        <symbol>_</symbol>
+        <symbol>⊥</symbol>
       </push>
     </transition>
     <transition>
@@ -152,10 +152,10 @@
       <input>a</input>
       <to>ERR</to>
       <pop>
-        <symbol>_</symbol>
+        <symbol>⊥</symbol>
       </pop>
       <push>
-        <symbol>_</symbol>
+        <symbol>⊥</symbol>
       </push>
     </transition>
     <transition>
@@ -185,10 +185,10 @@
       <input>b</input>
       <to>ERR</to>
       <pop>
-        <symbol>_</symbol>
+        <symbol>⊥</symbol>
       </pop>
       <push>
-        <symbol>_</symbol>
+        <symbol>⊥</symbol>
       </push>
     </transition>
     <transition>
@@ -218,7 +218,7 @@
     <state>0</state>
   </initialStates>
   <startSymbols>
-    <symbol>_</symbol>
+    <symbol>⊥</symbol>
   </startSymbols>
   <finalStates>
     <state>3</state>
diff --git a/examples/automaton/RHDPDA2.xml b/examples/automaton/RHDPDA2.xml
index 772fa58790..06f09818e2 100644
--- a/examples/automaton/RHDPDA2.xml
+++ b/examples/automaton/RHDPDA2.xml
@@ -13,7 +13,7 @@
   <stackAlphabet>
     <symbol>a</symbol>
     <symbol>x</symbol>
-    <symbol>_</symbol>
+    <symbol>⊥</symbol>
   </stackAlphabet>
   <transitions>
     <transition>
@@ -106,7 +106,7 @@
     <state>0</state>
   </initialStates>
   <startSymbols>
-    <symbol>_</symbol>
+    <symbol>⊥</symbol>
   </startSymbols>
   <finalStates>
     <state>3</state>
diff --git a/examples/automaton/RHDPDA3.xml b/examples/automaton/RHDPDA3.xml
index 8ca65104a1..2d7b2966bb 100644
--- a/examples/automaton/RHDPDA3.xml
+++ b/examples/automaton/RHDPDA3.xml
@@ -8,7 +8,7 @@
   </inputAlphabet>
   <stackAlphabet>
     <symbol>a</symbol>
-    <symbol>_</symbol>
+    <symbol>⊥</symbol>
   </stackAlphabet>
   <transitions>
     <transition>
@@ -16,11 +16,11 @@
       <input>a</input>
       <to>1</to>
       <pop>
-        <symbol>_</symbol>
+        <symbol>⊥</symbol>
       </pop>
       <push>
         <symbol>a</symbol>
-        <symbol>_</symbol>
+        <symbol>⊥</symbol>
       </push>
     </transition>
     <transition>
@@ -37,7 +37,7 @@
     <state>0</state>
   </initialStates>
   <startSymbols>
-    <symbol>_</symbol>
+    <symbol>⊥</symbol>
   </startSymbols>
   <finalStates>
     <state>0</state>
diff --git a/examples/automaton/RHDPDA4.xml b/examples/automaton/RHDPDA4.xml
index 91a822d4ee..383daf6e1a 100644
--- a/examples/automaton/RHDPDA4.xml
+++ b/examples/automaton/RHDPDA4.xml
@@ -8,7 +8,7 @@
   </inputAlphabet>
   <stackAlphabet>
     <symbol>a</symbol>
-    <symbol>_</symbol>
+    <symbol>⊥</symbol>
   </stackAlphabet>
   <transitions>
     <transition>
@@ -34,7 +34,7 @@
     <state>0</state>
   </initialStates>
   <startSymbols>
-    <symbol>_</symbol>
+    <symbol>⊥</symbol>
   </startSymbols>
   <finalStates>
     <state>0</state>
-- 
GitLab