algo: fix exception messages

alib2algo/src/automaton/PDAToRHPDA.cpp

@@ -113,23 +113,23 @@ void PDAToRHPDA::Visit(void*, const ExtendedNFA&) const {
 }
 void PDAToRHPDA::Visit(void*, const CompactNFA&) const {
-	throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+	throw exception::AlibException("Unsupported automaton type CompactNFA");
 }
 void PDAToRHPDA::Visit(void*, const DPDA&) const {
-	throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+	throw exception::AlibException("Unsupported automaton type DPDA");
 }
 void PDAToRHPDA::Visit(void*, const SinglePopDPDA&) const {
-	throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+	throw exception::AlibException("Unsupported automaton type SinglePopDPDA");
 }
 void PDAToRHPDA::Visit(void*, const InputDrivenNPDA&) const {
-	throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+	throw exception::AlibException("Unsupported automaton type InputDrivenNPDA");
 }
 void PDAToRHPDA::Visit(void*, const VisiblyPushdownNPDA&) const {
-	throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+	throw exception::AlibException("Unsupported automaton type VisiblyPushdownNPDA");
 }
 void PDAToRHPDA::Visit(void* data, const RealTimeHeightDeterministicNPDA& automaton) const {
@@ -143,11 +143,11 @@ void PDAToRHPDA::Visit(void* data, const NPDA& automaton) const {
 }
 void PDAToRHPDA::Visit(void*, const SinglePopNPDA&) const {
-	throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+	throw exception::AlibException("Unsupported automaton type SinglePopNPDA");
 }
 void PDAToRHPDA::Visit(void*, const OneTapeDTM&) const {
-	throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+	throw exception::AlibException("Unsupported automaton type OneTapeDTM");
 }
 const PDAToRHPDA PDAToRHPDA::PDA_TO_RHPDA;