diff --git a/alib2algo/src/conversions/fa2re/Algebraic.cpp b/alib2algo/src/conversions/fa2re/Algebraic.cpp
index 44d14dc7c69e63e74fad45aa25770bf6bac580b0..355bc18309184e93d846b725dd43fc1f4c6a3bf8 100644
--- a/alib2algo/src/conversions/fa2re/Algebraic.cpp
+++ b/alib2algo/src/conversions/fa2re/Algebraic.cpp
@@ -158,6 +158,10 @@ void Algebraic::Visit(void*, const automaton::VisiblyPushdownNPDA&) const {
 	throw exception::AlibException("Unsupported automaton type VisiblyPushdownNPDA");
 }
 
+void Algebraic::Visit(void*, const automaton::RealTimeHeightDeterministicNPDA&) const {
+	throw exception::AlibException("Unsupported automaton type RealTimeHeightDeterministicNPDA");
+}
+
 void Algebraic::Visit(void*, const automaton::NPDA&) const {
 	throw exception::AlibException("Unsupported automaton type NPDA");
 }
diff --git a/alib2algo/src/conversions/fa2re/Algebraic.h b/alib2algo/src/conversions/fa2re/Algebraic.h
index a6fbc2471e778d656a4e266cb63ef641391a45bd..6234e7fb8e67c321bb2694d892bbd458e322bc70 100644
--- a/alib2algo/src/conversions/fa2re/Algebraic.h
+++ b/alib2algo/src/conversions/fa2re/Algebraic.h
@@ -50,6 +50,7 @@ private:
 	void Visit(void*, const automaton::CompactNFA&) const;
 	void Visit(void*, const automaton::InputDrivenNPDA&) const;
 	void Visit(void*, const automaton::VisiblyPushdownNPDA&) const;
+	void Visit(void*, const automaton::RealTimeHeightDeterministicNPDA&) const;
 	void Visit(void*, const automaton::NPDA&) const;
 	void Visit(void*, const automaton::SinglePopNPDA&) const;
 	void Visit(void*, const automaton::DPDA&) const;
diff --git a/alib2algo/src/determinize/nfa/NFADeterminizer.cpp b/alib2algo/src/determinize/nfa/NFADeterminizer.cpp
index c95aae328fe05a9880d462fdb8516bf9b9f31caa..d46299f563498d0164df637a2767794f01ec7a86 100644
--- a/alib2algo/src/determinize/nfa/NFADeterminizer.cpp
+++ b/alib2algo/src/determinize/nfa/NFADeterminizer.cpp
@@ -125,6 +125,10 @@ void NFADeterminizer::Visit(void*, const automaton::VisiblyPushdownNPDA&) const
 	throw exception::AlibException("Unsupported automaton type VisiblyPushdownNPDA");
 }
 
+void NFADeterminizer::Visit(void*, const automaton::RealTimeHeightDeterministicNPDA&) const {
+	throw exception::AlibException("Unsupported automaton type RealTimeHeightDeterministicNPDA");
+}
+
 void NFADeterminizer::Visit(void*, const automaton::NPDA&) const {
 	throw exception::AlibException("Unsupported automaton type NPDA");
 }
diff --git a/alib2algo/src/determinize/nfa/NFADeterminizer.h b/alib2algo/src/determinize/nfa/NFADeterminizer.h
index b5476588710876243a50e7708970eb9958124b9a..45d5def47c30ba67083bbb4597c61d451387df34 100644
--- a/alib2algo/src/determinize/nfa/NFADeterminizer.h
+++ b/alib2algo/src/determinize/nfa/NFADeterminizer.h
@@ -55,6 +55,7 @@ private:
 	void Visit(void*, const automaton::SinglePopDPDA& automaton) const;
 	void Visit(void*, const automaton::InputDrivenNPDA& automaton) const;
 	void Visit(void*, const automaton::VisiblyPushdownNPDA& automaton) const;
+	void Visit(void*, const automaton::RealTimeHeightDeterministicNPDA& automaton) const;
 	void Visit(void*, const automaton::NPDA& automaton) const;
 	void Visit(void*, const automaton::SinglePopNPDA& automaton) const;
 	void Visit(void*, const automaton::OneTapeDTM& automaton) const;
diff --git a/alib2algo/src/minimize/dfa/MinimizeDFA.cpp b/alib2algo/src/minimize/dfa/MinimizeDFA.cpp
index 9eefeb1c975afa487773aa948c076aab0740fcfc..7ac6f1e50f4c5ede75740e257d687ffb3e2b912e 100644
--- a/alib2algo/src/minimize/dfa/MinimizeDFA.cpp
+++ b/alib2algo/src/minimize/dfa/MinimizeDFA.cpp
@@ -182,6 +182,10 @@ void MinimizeDFA::Visit(void*, const automaton::VisiblyPushdownNPDA&) const {
 	throw exception::AlibException("Unsupported automaton type VisiblyPushdownNPDA");
 }
 
+void MinimizeDFA::Visit(void*, const automaton::RealTimeHeightDeterministicNPDA&) const {
+	throw exception::AlibException("Unsupported automaton type RealTimeHeightDeterministicNPDA");
+}
+
 void MinimizeDFA::Visit(void*, const automaton::NPDA&) const {
 	throw exception::AlibException("Unsupported automaton type NPDA");
 }
diff --git a/alib2algo/src/minimize/dfa/MinimizeDFA.h b/alib2algo/src/minimize/dfa/MinimizeDFA.h
index ea20405e8ab17e34c91a20c6740e309f44cd2549..ff5efb966d02c8b54e6a3c6ba5d28dc7bf9ebc6d 100644
--- a/alib2algo/src/minimize/dfa/MinimizeDFA.h
+++ b/alib2algo/src/minimize/dfa/MinimizeDFA.h
@@ -33,6 +33,7 @@ protected:
 	void Visit(void*, const automaton::SinglePopDPDA& automaton) const;
 	void Visit(void*, const automaton::InputDrivenNPDA& automaton) const;
 	void Visit(void*, const automaton::VisiblyPushdownNPDA& automaton) const;
+	void Visit(void*, const automaton::RealTimeHeightDeterministicNPDA& automaton) const;
 	void Visit(void*, const automaton::NPDA& automaton) const;
 	void Visit(void*, const automaton::SinglePopNPDA& automaton) const;
 	void Visit(void*, const automaton::OneTapeDTM& automaton) const;