diff --git a/aconvert2/src/DotConverter.h b/aconvert2/src/DotConverter.h
index 4b96e0cce195fda8ef0489cf6ee9934aa87a6a29..97228a99b8ee052f9d0cc4a44d47de95a7c90181 100644
--- a/aconvert2/src/DotConverter.h
+++ b/aconvert2/src/DotConverter.h
@@ -180,13 +180,13 @@ void DotConverter::convert(std::ostream& out, const automaton::EpsilonNFA < Symb
 
 	//Print final states
 	for (const StateType& state : a.getFinalStates()) {
-		out << "node [shape = doublecircle, label=\"" << alib::StringDataFactory::toString(state) << "\"]; " << states.find(state)->second << ";\n";
+		out << "node [shape = doublecircle, label=\"" << replace ( alib::StringDataFactory::toString ( state ), "\"", "\\\"" ) << "\"]; " << states.find(state)->second << ";\n";
 	}
 
 	//Print nonfinal states
 	for (const auto& state : states) {
 		if (!a.getFinalStates().count(state.first)) {
-			out << "node [shape = circle, label=\"" << alib::StringDataFactory::toString(state.first) << "\" ]; " << state.second << ";\n";
+			out << "node [shape = circle, label=\"" << replace ( alib::StringDataFactory::toString ( state.first ), "\"", "\\\"" ) << "\" ]; " << state.second << ";\n";
 		}
 	}
 
@@ -212,13 +212,13 @@ void DotConverter::convert(std::ostream& out, const automaton::MultiInitialState
 
 	//Print final states
 	for (const StateType& state : a.getFinalStates()) {
-		out << "node [shape = doublecircle, label=\"" << alib::StringDataFactory::toString(state) << "\"]; " << states.find(state)->second << ";\n";
+		out << "node [shape = doublecircle, label=\"" << replace ( alib::StringDataFactory::toString ( state ), "\"", "\\\"" ) << "\"]; " << states.find(state)->second << ";\n";
 	}
 
 	//Print nonfinal states
 	for (const auto& state : states) {
 		if (!a.getFinalStates().count(state.first)) {
-			out << "node [shape = circle, label=\"" << alib::StringDataFactory::toString(state.first) << "\" ]; " << state.second << ";\n";
+			out << "node [shape = circle, label=\"" << replace ( alib::StringDataFactory::toString ( state.first ), "\"", "\\\"" ) << "\" ]; " << state.second << ";\n";
 		}
 	}
 
@@ -246,13 +246,13 @@ void DotConverter::convert(std::ostream& out, const automaton::NFA < SymbolType,
 
 	//Print final states
 	for (const StateType& state : a.getFinalStates()) {
-		out << "node [shape = doublecircle, label=\"" << alib::StringDataFactory::toString(state) << "\"]; " << states.find(state)->second << ";\n";
+		out << "node [shape = doublecircle, label=\"" << replace ( alib::StringDataFactory::toString ( state ), "\"", "\\\"" ) << "\"]; " << states.find(state)->second << ";\n";
 	}
 
 	//Print nonfinal states
 	for (const auto& state : states) {
 		if (!a.getFinalStates().count(state.first)) {
-			out << "node [shape = circle, label=\"" << alib::StringDataFactory::toString(state.first) << "\" ]; " << state.second << ";\n";
+			out << "node [shape = circle, label=\"" << replace ( alib::StringDataFactory::toString ( state.first ), "\"", "\\\"" ) << "\" ]; " << state.second << ";\n";
 		}
 	}
 
@@ -278,13 +278,13 @@ void DotConverter::convert(std::ostream& out, const automaton::DFA < SymbolType,
 
 	//Print final states
 	for (const StateType& state : a.getFinalStates()) {
-		out << "node [shape = doublecircle, label=\"" << alib::StringDataFactory::toString(state) << "\"]; " << states.find(state)->second << ";\n";
+		out << "node [shape = doublecircle, label=\"" << replace ( alib::StringDataFactory::toString ( state ), "\"", "\\\"" ) << "\"]; " << states.find(state)->second << ";\n";
 	}
 
 	//Print nonfinal states
 	for (const auto& state : states) {
 		if (!a.getFinalStates().count(state.first)) {
-			out << "node [shape = circle, label=\"" << alib::StringDataFactory::toString(state.first) << "\" ]; " << state.second << ";\n";
+			out << "node [shape = circle, label=\"" << replace ( alib::StringDataFactory::toString ( state.first ), "\"", "\\\"" ) << "\" ]; " << state.second << ";\n";
 		}
 	}
 
@@ -310,13 +310,13 @@ void DotConverter::convert(std::ostream& out, const automaton::ExtendedNFA < Sym
 
 	//Print final states
 	for (const StateType& state : a.getFinalStates()) {
-		out << "node [shape = doublecircle, label=\"" << alib::StringDataFactory::toString(state) << "\"]; " << states.find(state)->second << ";\n";
+		out << "node [shape = doublecircle, label=\"" << replace ( alib::StringDataFactory::toString ( state ), "\"", "\\\"" ) << "\"]; " << states.find(state)->second << ";\n";
 	}
 
 	//Print nonfinal states
 	for (const auto& state : states) {
 		if (!a.getFinalStates().count(state.first)) {
-			out << "node [shape = circle, label=\"" << alib::StringDataFactory::toString(state.first) << "\" ]; " << state.second << ";\n";
+			out << "node [shape = circle, label=\"" << replace ( alib::StringDataFactory::toString ( state.first ), "\"", "\\\"" ) << "\" ]; " << state.second << ";\n";
 		}
 	}
 
@@ -342,13 +342,13 @@ void DotConverter::convert(std::ostream& out, const automaton::CompactNFA < Symb
 
 	//Print final states
 	for (const StateType& state : a.getFinalStates()) {
-		out << "node [shape = doublecircle, label=\"" << alib::StringDataFactory::toString(state) << "\"]; " << states.find(state)->second << ";\n";
+		out << "node [shape = doublecircle, label=\"" << replace ( alib::StringDataFactory::toString ( state ), "\"", "\\\"" ) << "\"]; " << states.find(state)->second << ";\n";
 	}
 
 	//Print nonfinal states
 	for (const auto& state : states) {
 		if (!a.getFinalStates().count(state.first)) {
-			out << "node [shape = circle, label=\"" << alib::StringDataFactory::toString(state.first) << "\" ]; " << state.second << ";\n";
+			out << "node [shape = circle, label=\"" << replace ( alib::StringDataFactory::toString ( state.first ), "\"", "\\\"" ) << "\" ]; " << state.second << ";\n";
 		}
 	}
 
@@ -374,13 +374,13 @@ void DotConverter::convert(std::ostream& out, const automaton::NFTA < SymbolType
 
 	//Print final states
 	for (const StateType& state : a.getFinalStates()) {
-		out << "node [shape = doublecircle, label=\"" << alib::StringDataFactory::toString(state) << "\"]; " << states.find(state)->second << ";\n";
+		out << "node [shape = doublecircle, label=\"" << replace ( alib::StringDataFactory::toString ( state ), "\"", "\\\"" ) << "\"]; " << states.find(state)->second << ";\n";
 	}
 
 	//Print nonfinal states
 	for (const auto& state : states) {
 		if (!a.getFinalStates().count(state.first)) {
-			out << "node [shape = circle, label=\"" << alib::StringDataFactory::toString(state.first) << "\" ]; " << state.second << ";\n";
+			out << "node [shape = circle, label=\"" << replace ( alib::StringDataFactory::toString ( state.first ), "\"", "\\\"" ) << "\" ]; " << state.second << ";\n";
 		}
 	}
 
@@ -402,13 +402,13 @@ void DotConverter::convert(std::ostream& out, const automaton::DFTA < SymbolType
 
 	//Print final states
 	for (const StateType& state : a.getFinalStates()) {
-		out << "node [shape = doublecircle, label=\"" << alib::StringDataFactory::toString(state) << "\"]; " << states.find(state)->second << ";\n";
+		out << "node [shape = doublecircle, label=\"" << replace ( alib::StringDataFactory::toString ( state ), "\"", "\\\"" ) << "\"]; " << states.find(state)->second << ";\n";
 	}
 
 	//Print nonfinal states
 	for (const auto& state : states) {
 		if (!a.getFinalStates().count(state.first)) {
-			out << "node [shape = circle, label=\"" << alib::StringDataFactory::toString(state.first) << "\" ]; " << state.second << ";\n";
+			out << "node [shape = circle, label=\"" << replace ( alib::StringDataFactory::toString ( state.first ), "\"", "\\\"" ) << "\" ]; " << state.second << ";\n";
 		}
 	}
 
@@ -430,13 +430,13 @@ void DotConverter::convert(std::ostream& out, const automaton::DPDA < InputSymbo
 
 	//Print final states
 	for (const StateType& state : a.getFinalStates()) {
-		out << "node [shape = doublecircle, label=\"" << alib::StringDataFactory::toString(state) << "\"]; " << states.find(state)->second << ";\n";
+		out << "node [shape = doublecircle, label=\"" << replace ( alib::StringDataFactory::toString ( state ), "\"", "\\\"" ) << "\"]; " << states.find(state)->second << ";\n";
 	}
 
 	//Print nonfinal states
 	for (const auto& state : states) {
 		if (!a.getFinalStates().count(state.first)) {
-			out << "node [shape = circle, label=\"" << alib::StringDataFactory::toString(state.first) << "\" ]; " << state.second << ";\n";
+			out << "node [shape = circle, label=\"" << replace ( alib::StringDataFactory::toString ( state.first ), "\"", "\\\"" ) << "\" ]; " << state.second << ";\n";
 		}
 	}
 
@@ -462,13 +462,13 @@ void DotConverter::convert(std::ostream& out, const automaton::SinglePopDPDA < I
 
 	//Print final states
 	for (const StateType& state : a.getFinalStates()) {
-		out << "node [shape = doublecircle, label=\"" << alib::StringDataFactory::toString(state) << "\"]; " << states.find(state)->second << ";\n";
+		out << "node [shape = doublecircle, label=\"" << replace ( alib::StringDataFactory::toString ( state ), "\"", "\\\"" ) << "\"]; " << states.find(state)->second << ";\n";
 	}
 
 	//Print nonfinal states
 	for (const auto& state : states) {
 		if (!a.getFinalStates().count(state.first)) {
-			out << "node [shape = circle, label=\"" << alib::StringDataFactory::toString(state.first) << "\" ]; " << state.second << ";\n";
+			out << "node [shape = circle, label=\"" << replace ( alib::StringDataFactory::toString ( state.first ), "\"", "\\\"" ) << "\" ]; " << state.second << ";\n";
 		}
 	}
 
@@ -494,13 +494,13 @@ void DotConverter::convert(std::ostream& out, const automaton::InputDrivenDPDA <
 
 	//Print final states
 	for (const StateType& state : a.getFinalStates()) {
-		out << "node [shape = doublecircle, label=\"" << alib::StringDataFactory::toString(state) << "\"]; " << states.find(state)->second << ";\n";
+		out << "node [shape = doublecircle, label=\"" << replace ( alib::StringDataFactory::toString ( state ), "\"", "\\\"" ) << "\"]; " << states.find(state)->second << ";\n";
 	}
 
 	//Print nonfinal states
 	for (const auto& state : states) {
 		if (!a.getFinalStates().count(state.first)) {
-			out << "node [shape = circle, label=\"" << alib::StringDataFactory::toString(state.first) << "\" ]; " << state.second << ";\n";
+			out << "node [shape = circle, label=\"" << replace ( alib::StringDataFactory::toString ( state.first ), "\"", "\\\"" ) << "\" ]; " << state.second << ";\n";
 		}
 	}
 
@@ -526,13 +526,13 @@ void DotConverter::convert(std::ostream& out, const automaton::InputDrivenNPDA <
 
 	//Print final states
 	for (const StateType& state : a.getFinalStates()) {
-		out << "node [shape = doublecircle, label=\"" << alib::StringDataFactory::toString(state) << "\"]; " << states.find(state)->second << ";\n";
+		out << "node [shape = doublecircle, label=\"" << replace ( alib::StringDataFactory::toString ( state ), "\"", "\\\"" ) << "\"]; " << states.find(state)->second << ";\n";
 	}
 
 	//Print nonfinal states
 	for (const auto& state : states) {
 		if (!a.getFinalStates().count(state.first)) {
-			out << "node [shape = circle, label=\"" << alib::StringDataFactory::toString(state.first) << "\" ]; " << state.second << ";\n";
+			out << "node [shape = circle, label=\"" << replace ( alib::StringDataFactory::toString ( state.first ), "\"", "\\\"" ) << "\" ]; " << state.second << ";\n";
 		}
 	}
 
@@ -558,13 +558,13 @@ void DotConverter::convert(std::ostream& out, const automaton::VisiblyPushdownDP
 
 	//Print final states
 	for (const StateType& state : a.getFinalStates()) {
-		out << "node [shape = doublecircle, label=\"" << alib::StringDataFactory::toString(state) << "\"]; " << states.find(state)->second << ";\n";
+		out << "node [shape = doublecircle, label=\"" << replace ( alib::StringDataFactory::toString ( state ), "\"", "\\\"" ) << "\"]; " << states.find(state)->second << ";\n";
 	}
 
 	//Print nonfinal states
 	for (const auto& state : states) {
 		if (!a.getFinalStates().count(state.first)) {
-			out << "node [shape = circle, label=\"" << alib::StringDataFactory::toString(state.first) << "\" ]; " << state.second << ";\n";
+			out << "node [shape = circle, label=\"" << replace ( alib::StringDataFactory::toString ( state.first ), "\"", "\\\"" ) << "\" ]; " << state.second << ";\n";
 		}
 	}
 
@@ -590,13 +590,13 @@ void DotConverter::convert(std::ostream& out, const automaton::VisiblyPushdownNP
 
 	//Print final states
 	for (const StateType& state : a.getFinalStates()) {
-		out << "node [shape = doublecircle, label=\"" << alib::StringDataFactory::toString(state) << "\"]; " << states.find(state)->second << ";\n";
+		out << "node [shape = doublecircle, label=\"" << replace ( alib::StringDataFactory::toString ( state ), "\"", "\\\"" ) << "\"]; " << states.find(state)->second << ";\n";
 	}
 
 	//Print nonfinal states
 	for (const auto& state : states) {
 		if (!a.getFinalStates().count(state.first)) {
-			out << "node [shape = circle, label=\"" << alib::StringDataFactory::toString(state.first) << "\" ]; " << state.second << ";\n";
+			out << "node [shape = circle, label=\"" << replace ( alib::StringDataFactory::toString ( state.first ), "\"", "\\\"" ) << "\" ]; " << state.second << ";\n";
 		}
 	}
 
@@ -624,13 +624,13 @@ void DotConverter::convert(std::ostream& out, const automaton::RealTimeHeightDet
 
 	//Print final states
 	for (const StateType& state : a.getFinalStates()) {
-		out << "node [shape = doublecircle, label=\"" << alib::StringDataFactory::toString(state) << "\"]; " << states.find(state)->second << ";\n";
+		out << "node [shape = doublecircle, label=\"" << replace ( alib::StringDataFactory::toString ( state ), "\"", "\\\"" ) << "\"]; " << states.find(state)->second << ";\n";
 	}
 
 	//Print nonfinal states
 	for (const auto& state : states) {
 		if (!a.getFinalStates().count(state.first)) {
-			out << "node [shape = circle, label=\"" << alib::StringDataFactory::toString(state.first) << "\" ]; " << state.second << ";\n";
+			out << "node [shape = circle, label=\"" << replace ( alib::StringDataFactory::toString ( state.first ), "\"", "\\\"" ) << "\" ]; " << state.second << ";\n";
 		}
 	}
 
@@ -656,13 +656,13 @@ void DotConverter::convert(std::ostream& out, const automaton::RealTimeHeightDet
 
 	//Print final states
 	for (const StateType& state : a.getFinalStates()) {
-		out << "node [shape = doublecircle, label=\"" << alib::StringDataFactory::toString(state) << "\"]; " << states.find(state)->second << ";\n";
+		out << "node [shape = doublecircle, label=\"" << replace ( alib::StringDataFactory::toString ( state ), "\"", "\\\"" ) << "\"]; " << states.find(state)->second << ";\n";
 	}
 
 	//Print nonfinal states
 	for (const auto& state : states) {
 		if (!a.getFinalStates().count(state.first)) {
-			out << "node [shape = circle, label=\"" << alib::StringDataFactory::toString(state.first) << "\" ]; " << state.second << ";\n";
+			out << "node [shape = circle, label=\"" << replace ( alib::StringDataFactory::toString ( state.first ), "\"", "\\\"" ) << "\" ]; " << state.second << ";\n";
 		}
 	}
 
@@ -690,13 +690,13 @@ void DotConverter::convert(std::ostream& out, const automaton::NPDA < InputSymbo
 
 	//Print final states
 	for (const StateType& state : a.getFinalStates()) {
-		out << "node [shape = doublecircle, label=\"" << alib::StringDataFactory::toString(state) << "\"]; " << states.find(state)->second << ";\n";
+		out << "node [shape = doublecircle, label=\"" << replace ( alib::StringDataFactory::toString ( state ), "\"", "\\\"" ) << "\"]; " << states.find(state)->second << ";\n";
 	}
 
 	//Print nonfinal states
 	for (const auto& state : states) {
 		if (!a.getFinalStates().count(state.first)) {
-			out << "node [shape = circle, label=\"" << alib::StringDataFactory::toString(state.first) << "\" ]; " << state.second << ";\n";
+			out << "node [shape = circle, label=\"" << replace ( alib::StringDataFactory::toString ( state.first ), "\"", "\\\"" ) << "\" ]; " << state.second << ";\n";
 		}
 	}
 
@@ -722,13 +722,13 @@ void DotConverter::convert(std::ostream& out, const automaton::SinglePopNPDA < I
 
 	//Print final states
 	for (const StateType& state : a.getFinalStates()) {
-		out << "node [shape = doublecircle, label=\"" << alib::StringDataFactory::toString(state) << "\"]; " << states.find(state)->second << ";\n";
+		out << "node [shape = doublecircle, label=\"" << replace ( alib::StringDataFactory::toString ( state ), "\"", "\\\"" ) << "\"]; " << states.find(state)->second << ";\n";
 	}
 
 	//Print nonfinal states
 	for (const auto& state : states) {
 		if (!a.getFinalStates().count(state.first)) {
-			out << "node [shape = circle, label=\"" << alib::StringDataFactory::toString(state.first) << "\" ]; " << state.second << ";\n";
+			out << "node [shape = circle, label=\"" << replace ( alib::StringDataFactory::toString ( state.first ), "\"", "\\\"" ) << "\" ]; " << state.second << ";\n";
 		}
 	}
 
@@ -754,13 +754,13 @@ void DotConverter::convert(std::ostream& out, const automaton::OneTapeDTM < Symb
 
 	//Print final states
 	for (const StateType& state : a.getFinalStates()) {
-		out << "node [shape = doublecircle, label=\"" << alib::StringDataFactory::toString(state) << "\"]; " << states.find(state)->second << ";\n";
+		out << "node [shape = doublecircle, label=\"" << replace ( alib::StringDataFactory::toString ( state ), "\"", "\\\"" ) << "\"]; " << states.find(state)->second << ";\n";
 	}
 
 	//Print nonfinal states
 	for (const auto& state : states) {
 		if (!a.getFinalStates().count(state.first)) {
-			out << "node [shape = circle, label=\"" << alib::StringDataFactory::toString(state.first) << "\" ]; " << state.second << ";\n";
+			out << "node [shape = circle, label=\"" << replace ( alib::StringDataFactory::toString ( state.first ), "\"", "\\\"" ) << "\" ]; " << state.second << ";\n";
 		}
 	}
 
@@ -782,7 +782,7 @@ void DotConverter::transitions(const automaton::EpsilonNFA < SymbolType, Epsilon
 		if (transition.first.second.template is< EpsilonType >()) {
 			symbol = "&epsilon;";
 		} else {
-			symbol = alib::StringDataFactory::toString(std::get<1>(transition.first).template get<SymbolType>());
+			symbol = replace ( alib::StringDataFactory::toString ( std::get<1>(transition.first ).template get<SymbolType>()), "\"", "\\\"" );
 		}
 
 		for(const StateType& to : transition.second) {
@@ -807,7 +807,7 @@ void DotConverter::transitions(const automaton::EpsilonNFA < SymbolType, Epsilon
 	//print the map
 	for (std::pair<const std::pair<int, int>, std::string>& transition : transitions) {
 		out << transition.first.first << " -> " << transition.first.second;
-		replace(transition.second, "\n", "\\n");
+		replaceInplace(transition.second, "\n", "\\n");
 		out << "[label=\"" << transition.second << "\"]\n";
 	}
 }
@@ -818,7 +818,7 @@ void DotConverter::transitions(const automaton::MultiInitialStateNFA < SymbolTyp
 
 	//put transitions from automaton to "transitions"
 	for (const auto& transition : fsm.getTransitions()) {
-		std::string symbol = alib::StringDataFactory::toString(transition.first.second);
+		std::string symbol = replace ( alib::StringDataFactory::toString ( transition.first.second ), "\"", "\\\"" );
 
 		for(const StateType& to : transition.second) {
 			std::pair<int, int> key(states.find(transition.first.first)->second, states.find(to)->second);
@@ -842,7 +842,7 @@ void DotConverter::transitions(const automaton::MultiInitialStateNFA < SymbolTyp
 	//print the map
 	for (std::pair< const std::pair<int, int>, std::string>& transition : transitions) {
 		out << transition.first.first << " -> " << transition.first.second;
-		replace(transition.second, "\n", "\\n");
+		replaceInplace(transition.second, "\n", "\\n");
 		out << "[label=\"" << transition.second << "\"]\n";
 	}
 }
@@ -853,7 +853,7 @@ void DotConverter::transitions(const automaton::NFA < SymbolType, StateType > &
 
 	//put transitions from automaton to "transitions"
 	for (const auto& transition : fsm.getTransitions()) {
-		std::string symbol = alib::StringDataFactory::toString(transition.first.second);
+		std::string symbol = replace ( alib::StringDataFactory::toString ( transition.first.second ), "\"", "\\\"" );
 
 		for(const StateType& to : transition.second) {
 			std::pair<int, int> key(states.find(transition.first.first)->second, states.find(to)->second);
@@ -877,7 +877,7 @@ void DotConverter::transitions(const automaton::NFA < SymbolType, StateType > &
 	//print the map
 	for (std::pair<const std::pair<int, int>, std::string>& transition : transitions) {
 		out << transition.first.first << " -> " << transition.first.second;
-		replace(transition.second, "\n", "\\n");
+		replaceInplace(transition.second, "\n", "\\n");
 		out << "[label=\"" << transition.second << "\"]\n";
 	}
 }
@@ -888,7 +888,7 @@ void DotConverter::transitions(const automaton::DFA < SymbolType, StateType > &
 
 	//put transitions from automaton to "transitions"
 	for (const auto& transition : fsm.getTransitions()) {
-		std::string symbol = alib::StringDataFactory::toString(transition.first.second);
+		std::string symbol = replace ( alib::StringDataFactory::toString ( transition.first.second ), "\"", "\\\"" );
 
 		std::pair<int, int> key(states.find(transition.first.first)->second, states.find(transition.second)->second);
 		std::map<std::pair<int, int>, std::string>::iterator mapit = transitions.find(key);
@@ -910,7 +910,7 @@ void DotConverter::transitions(const automaton::DFA < SymbolType, StateType > &
 	//print the map
 	for (std::pair<const std::pair<int, int>, std::string>& transition : transitions) {
 		out << transition.first.first << " -> " << transition.first.second;
-		replace(transition.second, "\n", "\\n");
+		replaceInplace(transition.second, "\n", "\\n");
 		out << "[label=\"" << transition.second << "\"]\n";
 	}
 }
@@ -921,7 +921,7 @@ void DotConverter::transitions(const automaton::ExtendedNFA < SymbolType, StateT
 
 	//put transitions from automaton to "transitions"
 	for (const auto& transition : fsm.getTransitions()) {
-		std::string symbol = alib::StringDataFactory::toString(transition.first.second);
+		std::string symbol = replace ( alib::StringDataFactory::toString ( transition.first.second ), "\"", "\\\"" );
 
 		for(const StateType& to : transition.second) {
 			std::pair<int, int> key(states.find(transition.first.first)->second, states.find(to)->second);
@@ -945,7 +945,7 @@ void DotConverter::transitions(const automaton::ExtendedNFA < SymbolType, StateT
 	//print the map
 	for (std::pair<const std::pair<int, int>, std::string>& transition : transitions) {
 		out << transition.first.first << " -> " << transition.first.second;
-		replace(transition.second, "\n", "\\n");
+		replaceInplace(transition.second, "\n", "\\n");
 		out << "[label=\"" << transition.second << "\"]\n";
 	}
 }
@@ -956,7 +956,7 @@ void DotConverter::transitions(const automaton::CompactNFA < SymbolType, StateTy
 
 	//put transitions from automaton to "transitions"
 	for (const auto& transition : fsm.getTransitions()) {
-		std::string symbol = alib::StringDataFactory::toString(string::stringFrom ( transition.first.second ) );
+		std::string symbol = replace ( alib::StringDataFactory::toString ( string::stringFrom ( transition.first.second  ) ), "\"", "\\\"" );
 
 		for(const StateType& to : transition.second) {
 			std::pair<int, int> key(states.find(transition.first.first)->second, states.find(to)->second);
@@ -980,7 +980,7 @@ void DotConverter::transitions(const automaton::CompactNFA < SymbolType, StateTy
 	//print the map
 	for (std::pair<const std::pair<int, int>, std::string>& transition : transitions) {
 		out << transition.first.first << " -> " << transition.first.second;
-		replace(transition.second, "\n", "\\n");
+		replaceInplace(transition.second, "\n", "\\n");
 		out << "[label=\"" << transition.second << "\"]\n";
 	}
 }
@@ -991,7 +991,7 @@ void DotConverter::transitions(const automaton::NFTA < SymbolType, RankType, Sta
 
 	//put transitions from automaton to "transitions"
 	for (const auto& transition : fta.getTransitions()) {
-		std::string symbol = alib::StringDataFactory::toString(transition.first.first.getSymbol());
+		std::string symbol = replace ( alib::StringDataFactory::toString ( transition.first.first.getSymbol( )), "\"", "\\\"" );
 		symbol += std::to_string(transition.first.first.getRank());
 
 		for(const StateType& to : transition.second) {
@@ -1025,7 +1025,7 @@ void DotConverter::transitions(const automaton::NFTA < SymbolType, RankType, Sta
 	unsigned i = states.size() + 1;
 	for (std::pair<const std::pair<int, std::vector<int>>, std::string>& transition : transitions) {
 		out << i << " -> " << transition.first.first;
-		replace(transition.second, "\n", "\\n");
+		replaceInplace(transition.second, "\n", "\\n");
 		out << "[label=\"" << transition.second << "\"]\n";
 		unsigned j = 0;
 		for(int from : transition.first.second) {
@@ -1043,7 +1043,7 @@ void DotConverter::transitions(const automaton::DFTA < SymbolType, RankType, Sta
 
 	//put transitions from automaton to "transitions"
 	for (const auto& transition : fta.getTransitions()) {
-		std::string symbol = alib::StringDataFactory::toString(transition.first.first.getSymbol());
+		std::string symbol = replace ( alib::StringDataFactory::toString ( transition.first.first.getSymbol( )), "\"", "\\\"" );
 		symbol += std::to_string(transition.first.first.getRank());
 
 		std::pair<int, std::vector<int>> key(states.find(transition.second)->second, {});
@@ -1075,7 +1075,7 @@ void DotConverter::transitions(const automaton::DFTA < SymbolType, RankType, Sta
 	unsigned i = states.size() + 1;
 	for (std::pair<const std::pair<int, std::vector<int>>, std::string>& transition : transitions) {
 		out << i << " -> " << transition.first.first;
-		replace(transition.second, "\n", "\\n");
+		replaceInplace(transition.second, "\n", "\\n");
 		out << "[label=\"" << transition.second << "\"]\n";
 		unsigned j = 0;
 		for(int from : transition.first.second) {
@@ -1098,7 +1098,7 @@ void DotConverter::transitions(const automaton::DPDA < InputSymbolType, EpsilonT
 		if (std::get<1>(transition.first).template is< EpsilonType >()) {
 			symbol = "&epsilon;";
 		} else {
-			symbol = alib::StringDataFactory::toString(std::get<1>(transition.first).template get<InputSymbolType>());
+			symbol = replace ( alib::StringDataFactory::toString ( std::get<1>(transition.first ).template get<InputSymbolType>()), "\"", "\\\"" );
 		}
 
 		symbol += " |";
@@ -1108,7 +1108,7 @@ void DotConverter::transitions(const automaton::DPDA < InputSymbolType, EpsilonT
 			symbol += " &epsilon;";
 		} else {
 			for ( const PushdownStoreSymbolType & symb : std::get<2>(transition.first)) {
-				symbol += " " + alib::StringDataFactory::toString(symb);
+				symbol += " " + replace ( alib::StringDataFactory::toString ( symb ), "\"", "\\\"" );
 			}
 
 		}
@@ -1120,7 +1120,7 @@ void DotConverter::transitions(const automaton::DPDA < InputSymbolType, EpsilonT
 			symbol += " &epsilon;";
 		} else {
 			for ( const PushdownStoreSymbolType & symb : transition.second.second) {
-				symbol += " " + alib::StringDataFactory::toString(symb);
+				symbol += " " + replace ( alib::StringDataFactory::toString ( symb ), "\"", "\\\"" );
 			}
 
 		}
@@ -1146,7 +1146,7 @@ void DotConverter::transitions(const automaton::DPDA < InputSymbolType, EpsilonT
 	//print the map
 	for (std::pair<const std::pair<int, int>, std::string>& transition : transitions) {
 		out << transition.first.first << " -> " << transition.first.second;
-		replace(transition.second, "\n", "\\n");
+		replaceInplace(transition.second, "\n", "\\n");
 		out << "[label=\"" <<  transition.second << "\"]\n";
 	}
 }
@@ -1162,13 +1162,13 @@ void DotConverter::transitions(const automaton::SinglePopDPDA < InputSymbolType,
 		if (std::get<1>(transition.first).template is< EpsilonType >()) {
 			symbol = "&epsilon;";
 		} else {
-			symbol = alib::StringDataFactory::toString(std::get<1>(transition.first).template get<InputSymbolType>());
+			symbol = replace ( alib::StringDataFactory::toString ( std::get<1>(transition.first ).template get<InputSymbolType>()), "\"", "\\\"" );
 		}
 
 		symbol += " |";
 
 		//Pop part
-		symbol += " " + alib::StringDataFactory::toString(std::get<2>(transition.first));
+		symbol += " " + replace ( alib::StringDataFactory::toString ( std::get<2>(transition.first )), "\"", "\\\"" );
 
 		symbol += " ->";
 
@@ -1177,7 +1177,7 @@ void DotConverter::transitions(const automaton::SinglePopDPDA < InputSymbolType,
 			symbol += " &epsilon;";
 		} else {
 			for ( const PushdownStoreSymbolType & symb : transition.second.second) {
-				symbol += " " + alib::StringDataFactory::toString(symb);
+				symbol += " " + replace ( alib::StringDataFactory::toString ( symb ), "\"", "\\\"" );
 			}
 
 		}
@@ -1203,7 +1203,7 @@ void DotConverter::transitions(const automaton::SinglePopDPDA < InputSymbolType,
 	//print the map
 	for (std::pair<const std::pair<int, int>, std::string>& transition : transitions) {
 		out << transition.first.first << " -> " << transition.first.second;
-		replace(transition.second, "\n", "\\n");
+		replaceInplace(transition.second, "\n", "\\n");
 		out << "[label=\"" << transition.second << "\"]\n";
 	}
 }
@@ -1220,7 +1220,7 @@ void DotConverter::transitions(const automaton::InputDrivenDPDA < InputSymbolTyp
 		std::string symbol;
 
 		//input symbol
-		symbol = alib::StringDataFactory::toString(transition.first.second);
+		symbol = replace ( alib::StringDataFactory::toString ( transition.first.second ), "\"", "\\\"" );
 
 		symbol += " |";
 
@@ -1229,7 +1229,7 @@ void DotConverter::transitions(const automaton::InputDrivenDPDA < InputSymbolTyp
 			symbol += " &epsilon;";
 		} else {
 			for ( const PushdownStoreSymbolType & symb : pop) {
-				symbol += " " + alib::StringDataFactory::toString(symb);
+				symbol += " " + replace ( alib::StringDataFactory::toString ( symb ), "\"", "\\\"" );
 			}
 
 		}
@@ -1242,7 +1242,7 @@ void DotConverter::transitions(const automaton::InputDrivenDPDA < InputSymbolTyp
 			symbol += " &epsilon;";
 		} else {
 			for ( const PushdownStoreSymbolType & symb : push) {
-				symbol += " " + alib::StringDataFactory::toString(symb);
+				symbol += " " + replace ( alib::StringDataFactory::toString ( symb ), "\"", "\\\"" );
 			}
 
 		}
@@ -1268,7 +1268,7 @@ void DotConverter::transitions(const automaton::InputDrivenDPDA < InputSymbolTyp
 	//print the map
 	for (std::pair<const std::pair<int, int>, std::string>& transition : transitions) {
 		out << transition.first.first << " -> " << transition.first.second;
-		replace(transition.second, "\n", "\\n");
+		replaceInplace(transition.second, "\n", "\\n");
 		out << "[label=\"" << transition.second << "\"]\n";
 	}
 }
@@ -1285,7 +1285,7 @@ void DotConverter::transitions(const automaton::InputDrivenNPDA < InputSymbolTyp
 		std::string symbol;
 
 		//input symbol
-		symbol = alib::StringDataFactory::toString(transition.first.second);
+		symbol = replace ( alib::StringDataFactory::toString ( transition.first.second ), "\"", "\\\"" );
 
 		symbol += " |";
 
@@ -1294,7 +1294,7 @@ void DotConverter::transitions(const automaton::InputDrivenNPDA < InputSymbolTyp
 			symbol += " &epsilon;";
 		} else {
 			for ( const PushdownStoreSymbolType & symb : pop) {
-				symbol += " " + alib::StringDataFactory::toString(symb);
+				symbol += " " + replace ( alib::StringDataFactory::toString ( symb ), "\"", "\\\"" );
 			}
 
 		}
@@ -1309,7 +1309,7 @@ void DotConverter::transitions(const automaton::InputDrivenNPDA < InputSymbolTyp
 				symbol2 += " &epsilon;";
 			} else {
 				for ( const PushdownStoreSymbolType & symb : push) {
-					symbol2 += " " + alib::StringDataFactory::toString(symb);
+					symbol2 += " " + replace ( alib::StringDataFactory::toString ( symb ), "\"", "\\\"" );
 				}
 
 			}
@@ -1336,7 +1336,7 @@ void DotConverter::transitions(const automaton::InputDrivenNPDA < InputSymbolTyp
 	//print the map
 	for (std::pair<const std::pair<int, int>, std::string>& transition : transitions) {
 		out << transition.first.first << " -> " << transition.first.second;
-		replace(transition.second, "\n", "\\n");
+		replaceInplace(transition.second, "\n", "\\n");
 		out << "[label=\"" << transition.second << "\"]\n";
 	}
 }
@@ -1349,7 +1349,7 @@ void DotConverter::transitions(const automaton::VisiblyPushdownDPDA < InputSymbo
 		std::string symbol;
 
 		//input symbol
-		symbol = alib::StringDataFactory::toString(transition.first.second);
+		symbol = replace ( alib::StringDataFactory::toString ( transition.first.second ), "\"", "\\\"" );
 
 		symbol += " |";
 
@@ -1357,7 +1357,7 @@ void DotConverter::transitions(const automaton::VisiblyPushdownDPDA < InputSymbo
 		symbol += " &epsilon;";
 		symbol += " ->";
 
-		symbol += " " + alib::StringDataFactory::toString(transition.second.second);
+		symbol += " " + replace ( alib::StringDataFactory::toString ( transition.second.second ), "\"", "\\\"" );
 
 		//Insert into map
 		std::pair<int, int> key(states.find(transition.first.first)->second, states.find(transition.second.first)->second);
@@ -1381,12 +1381,12 @@ void DotConverter::transitions(const automaton::VisiblyPushdownDPDA < InputSymbo
 		std::string symbol;
 
 		//input symbol
-		symbol = alib::StringDataFactory::toString(std::get<1>(transition.first));
+		symbol = replace ( alib::StringDataFactory::toString ( std::get<1>(transition.first )), "\"", "\\\"" );
 
 		symbol += " |";
 
 		//Pop part
-		symbol += " " + alib::StringDataFactory::toString(std::get<2>(transition.first));
+		symbol += " " + replace ( alib::StringDataFactory::toString ( std::get<2>(transition.first )), "\"", "\\\"" );
 		symbol += " ->";
 
 		symbol += " &epsilon;";
@@ -1413,7 +1413,7 @@ void DotConverter::transitions(const automaton::VisiblyPushdownDPDA < InputSymbo
 		std::string symbol;
 
 		//input symbol
-		symbol = alib::StringDataFactory::toString(transition.first.second);
+		symbol = replace ( alib::StringDataFactory::toString ( transition.first.second ), "\"", "\\\"" );
 
 		symbol += " |";
 
@@ -1444,7 +1444,7 @@ void DotConverter::transitions(const automaton::VisiblyPushdownDPDA < InputSymbo
 	//print the map
 	for (std::pair<const std::pair<int, int>, std::string>& transition : transitions) {
 		out << transition.first.first << " -> " << transition.first.second;
-		replace(transition.second, "\n", "\\n");
+		replaceInplace(transition.second, "\n", "\\n");
 		out << "[label=\"" << transition.second << "\"]\n";
 	}
 }
@@ -1457,7 +1457,7 @@ void DotConverter::transitions(const automaton::VisiblyPushdownNPDA < InputSymbo
 		std::string symbol;
 
 		//input symbol
-		symbol = alib::StringDataFactory::toString(transition.first.second);
+		symbol = replace ( alib::StringDataFactory::toString ( transition.first.second ), "\"", "\\\"" );
 
 		symbol += " |";
 
@@ -1468,7 +1468,7 @@ void DotConverter::transitions(const automaton::VisiblyPushdownNPDA < InputSymbo
 		std::string symbol2;
 		for(const auto& to : transition.second) {
 			symbol2 = symbol;
-			symbol2 += " " + alib::StringDataFactory::toString(to.second);
+			symbol2 += " " + replace ( alib::StringDataFactory::toString ( to.second ), "\"", "\\\"" );
 
 			//Insert into map
 			std::pair<int, int> key(states.find(transition.first.first)->second, states.find(to.first)->second);
@@ -1493,12 +1493,12 @@ void DotConverter::transitions(const automaton::VisiblyPushdownNPDA < InputSymbo
 		std::string symbol;
 
 		//input symbol
-		symbol = alib::StringDataFactory::toString(std::get<1>(transition.first));
+		symbol = replace ( alib::StringDataFactory::toString ( std::get<1>(transition.first )), "\"", "\\\"" );
 
 		symbol += " |";
 
 		//Pop part
-		symbol += " " + alib::StringDataFactory::toString(std::get<2>(transition.first));
+		symbol += " " + replace ( alib::StringDataFactory::toString ( std::get<2>(transition.first )), "\"", "\\\"" );
 		symbol += " ->";
 
 		std::string symbol2;
@@ -1529,7 +1529,7 @@ void DotConverter::transitions(const automaton::VisiblyPushdownNPDA < InputSymbo
 		std::string symbol;
 
 		//input symbol
-		symbol = alib::StringDataFactory::toString(transition.first.second);
+		symbol = replace ( alib::StringDataFactory::toString ( transition.first.second ), "\"", "\\\"" );
 
 		symbol += " |";
 
@@ -1564,7 +1564,7 @@ void DotConverter::transitions(const automaton::VisiblyPushdownNPDA < InputSymbo
 	//print the map
 	for (std::pair<const std::pair<int, int>, std::string>& transition : transitions) {
 		out << transition.first.first << " -> " << transition.first.second;
-		replace(transition.second, "\n", "\\n");
+		replaceInplace(transition.second, "\n", "\\n");
 		out << "[label=\"" << transition.second << "\"]\n";
 	}
 }
@@ -1580,7 +1580,7 @@ void DotConverter::transitions(const automaton::RealTimeHeightDeterministicDPDA
 		if(transition.first.second.template is< EpsilonType >())
 			symbol = "&epsilon";
 		else
-			symbol = alib::StringDataFactory::toString(transition.first.second.template get<InputSymbolType>());
+			symbol = replace ( alib::StringDataFactory::toString ( transition.first.second.template get<InputSymbolType>( )), "\"", "\\\"" );
 
 		symbol += " |";
 
@@ -1588,7 +1588,7 @@ void DotConverter::transitions(const automaton::RealTimeHeightDeterministicDPDA
 		symbol += " &epsilon;";
 		symbol += " ->";
 
-		symbol += " " + alib::StringDataFactory::toString(transition.second.second);
+		symbol += " " + replace ( alib::StringDataFactory::toString ( transition.second.second ), "\"", "\\\"" );
 
 		//Insert into map
 		std::pair<int, int> key(states.find(transition.first.first)->second, states.find(transition.second.first)->second);
@@ -1615,12 +1615,12 @@ void DotConverter::transitions(const automaton::RealTimeHeightDeterministicDPDA
 		if(std::get<1>(transition.first).template is< EpsilonType >())
 			symbol = "&epsilon";
 		else
-			symbol = alib::StringDataFactory::toString(std::get<1>(transition.first).template get<InputSymbolType>());
+			symbol = replace ( alib::StringDataFactory::toString ( std::get<1>(transition.first ).template get<InputSymbolType>()), "\"", "\\\"" );
 
 		symbol += " |";
 
 		//Pop part
-		symbol += " " + alib::StringDataFactory::toString(std::get<2>(transition.first));
+		symbol += " " + replace ( alib::StringDataFactory::toString ( std::get<2>(transition.first )), "\"", "\\\"" );
 		symbol += " ->";
 
 		symbol += " &epsilon;";
@@ -1650,7 +1650,7 @@ void DotConverter::transitions(const automaton::RealTimeHeightDeterministicDPDA
 		if(transition.first.second.template is< EpsilonType >())
 			symbol = "&epsilon";
 		else
-			symbol = alib::StringDataFactory::toString(transition.first.second.template get<InputSymbolType>());
+			symbol = replace ( alib::StringDataFactory::toString ( transition.first.second.template get<InputSymbolType>( )), "\"", "\\\"" );
 
 		symbol += " |";
 
@@ -1681,7 +1681,7 @@ void DotConverter::transitions(const automaton::RealTimeHeightDeterministicDPDA
 	//print the map
 	for (std::pair<const std::pair<int, int>, std::string>& transition : transitions) {
 		out << transition.first.first << " -> " << transition.first.second;
-		replace(transition.second, "\n", "\\n");
+		replaceInplace(transition.second, "\n", "\\n");
 		out << "[label=\"" << transition.second << "\"]\n";
 	}
 }
@@ -1697,7 +1697,7 @@ void DotConverter::transitions(const automaton::RealTimeHeightDeterministicNPDA
 		if(transition.first.second.template is< EpsilonType >())
 			symbol = "&epsilon";
 		else
-			symbol = alib::StringDataFactory::toString(transition.first.second.template get<InputSymbolType>());
+			symbol = replace ( alib::StringDataFactory::toString ( transition.first.second.template get<InputSymbolType>( )), "\"", "\\\"" );
 
 		symbol += " |";
 
@@ -1708,7 +1708,7 @@ void DotConverter::transitions(const automaton::RealTimeHeightDeterministicNPDA
 		std::string symbol2;
 		for(const auto& to : transition.second) {
 			symbol2 = symbol;
-			symbol2 += " " + alib::StringDataFactory::toString(to.second);
+			symbol2 += " " + replace ( alib::StringDataFactory::toString ( to.second ), "\"", "\\\"" );
 
 			//Insert into map
 			std::pair<int, int> key(states.find(transition.first.first)->second, states.find(to.first)->second);
@@ -1736,12 +1736,12 @@ void DotConverter::transitions(const automaton::RealTimeHeightDeterministicNPDA
 		if(std::get<1>(transition.first).template is< EpsilonType >())
 			symbol = "&epsilon;";
 		else
-			symbol = alib::StringDataFactory::toString(std::get<1>(transition.first).template get<InputSymbolType>());
+			symbol = replace ( alib::StringDataFactory::toString ( std::get<1>(transition.first ).template get<InputSymbolType>() ), "\"", "\\\"" );
 
 		symbol += " |";
 
 		//Pop part
-		symbol += " " + alib::StringDataFactory::toString(std::get<2>(transition.first));
+		symbol += " " + replace ( alib::StringDataFactory::toString ( std::get<2>(transition.first ) ), "\"", "\\\"" );
 		symbol += " ->";
 
 		std::string symbol2;
@@ -1775,7 +1775,7 @@ void DotConverter::transitions(const automaton::RealTimeHeightDeterministicNPDA
 		if(transition.first.second.template is< EpsilonType >())
 			symbol = "&epsilon;";
 		else
-			symbol = alib::StringDataFactory::toString(transition.first.second.template get<InputSymbolType>());
+			symbol = replace ( alib::StringDataFactory::toString ( transition.first.second.template get<InputSymbolType>( )), "\"", "\\\"" );
 
 		symbol += " |";
 
@@ -1810,7 +1810,7 @@ void DotConverter::transitions(const automaton::RealTimeHeightDeterministicNPDA
 	//print the map
 	for (std::pair<const std::pair<int, int>, std::string>& transition : transitions) {
 		out << transition.first.first << " -> " << transition.first.second;
-		replace(transition.second, "\n", "\\n");
+		replaceInplace(transition.second, "\n", "\\n");
 		out << "[label=\"" << transition.second << "\"]\n";
 	}
 }
@@ -1826,7 +1826,7 @@ void DotConverter::transitions(const automaton::NPDA < InputSymbolType, EpsilonT
 		if (std::get<1>(transition.first).template is< EpsilonType >()) {
 			symbol = "&epsilon;";
 		} else {
-			symbol = alib::StringDataFactory::toString(std::get<1>(transition.first).template get<InputSymbolType>());
+			symbol = replace ( alib::StringDataFactory::toString ( std::get<1>(transition.first ).template get<InputSymbolType>()), "\"", "\\\"" );
 		}
 
 		symbol += " |";
@@ -1836,7 +1836,7 @@ void DotConverter::transitions(const automaton::NPDA < InputSymbolType, EpsilonT
 			symbol += " &epsilon;";
 		} else {
 			for ( const PushdownStoreSymbolType & symb : std::get<2>(transition.first)) {
-				symbol += " " + alib::StringDataFactory::toString(symb);
+				symbol += " " + replace ( alib::StringDataFactory::toString ( symb ), "\"", "\\\"" );
 			}
 
 		}
@@ -1851,7 +1851,7 @@ void DotConverter::transitions(const automaton::NPDA < InputSymbolType, EpsilonT
 				symbol2 += " &epsilon;";
 			} else {
 				for ( const PushdownStoreSymbolType & symb : to.second) {
-					symbol2 += " " + alib::StringDataFactory::toString(symb);
+					symbol2 += " " + replace ( alib::StringDataFactory::toString ( symb ), "\"", "\\\"" );
 				}
 
 			}
@@ -1878,7 +1878,7 @@ void DotConverter::transitions(const automaton::NPDA < InputSymbolType, EpsilonT
 	//print the map
 	for (std::pair<const std::pair<int, int>, std::string>& transition : transitions) {
 		out << transition.first.first << " -> " << transition.first.second;
-		replace(transition.second, "\n", "\\n");
+		replaceInplace(transition.second, "\n", "\\n");
 		out << "[label=\"" << transition.second << "\"]\n";
 	}
 }
@@ -1894,13 +1894,13 @@ void DotConverter::transitions(const automaton::SinglePopNPDA < InputSymbolType,
 		if (std::get<1>(transition.first).template is< EpsilonType >()) {
 			symbol = "&epsilon;";
 		} else {
-			symbol = alib::StringDataFactory::toString(std::get<1>(transition.first).template get<InputSymbolType>());
+			symbol = replace ( alib::StringDataFactory::toString ( std::get<1>(transition.first ).template get<InputSymbolType>()), "\"", "\\\"" );
 		}
 
 		symbol += " |";
 
 		//Pop part
-		symbol += " " + alib::StringDataFactory::toString(std::get<2>(transition.first));
+		symbol += " " + replace ( alib::StringDataFactory::toString ( std::get<2>(transition.first )), "\"", "\\\"" );
 
 		symbol += " ->";
 
@@ -1912,7 +1912,7 @@ void DotConverter::transitions(const automaton::SinglePopNPDA < InputSymbolType,
 				symbol2 += " &epsilon;";
 			} else {
 				for ( const PushdownStoreSymbolType & symb : to.second) {
-					symbol2 += " " + alib::StringDataFactory::toString(symb);
+					symbol2 += " " + replace ( alib::StringDataFactory::toString ( symb ), "\"", "\\\"" );
 				}
 
 			}
@@ -1939,7 +1939,7 @@ void DotConverter::transitions(const automaton::SinglePopNPDA < InputSymbolType,
 	//print the map
 	for (std::pair<const std::pair<int, int>, std::string>& transition : transitions) {
 		out << transition.first.first << " -> " << transition.first.second;
-		replace(transition.second, "\n", "\\n");
+		replaceInplace(transition.second, "\n", "\\n");
 		out << "[label=\"" << transition.second << "\"]\n";
 	}
 }
@@ -1952,9 +1952,9 @@ void DotConverter::transitions(const automaton::OneTapeDTM < SymbolType, StateTy
 
 		//input symbol
 		symbol = "(";
-		symbol += alib::StringDataFactory::toString(transition.first.second);
+		symbol += replace ( alib::StringDataFactory::toString ( transition.first.second ), "\"", "\\\"" );
 		symbol += ", ";
-		symbol += alib::StringDataFactory::toString(std::get<1>(transition.second));
+		symbol += replace ( alib::StringDataFactory::toString ( std::get<1>(transition.second )), "\"", "\\\"" );
 		symbol += " ";
 		switch(std::get<2>(transition.second)) {
 		case automaton::Shift::LEFT:
@@ -1991,7 +1991,7 @@ void DotConverter::transitions(const automaton::OneTapeDTM < SymbolType, StateTy
 	//print the map
 	for (std::pair<const std::pair<int, int>, std::string>& transition : transitions) {
 		out << transition.first.first << " -> " << transition.first.second;
-		replace(transition.second, "\n", "\\n");
+		replaceInplace(transition.second, "\n", "\\n");
 		out << "[label=\"" << transition.second << "\"]\n";
 	}
 }
diff --git a/aconvert2/src/GasTexConverter.h b/aconvert2/src/GasTexConverter.h
index bd4bbef86200ea153e9560f69f817b1996344755..ee3bf817588a4741bb515abd50ce31b662f135e1 100644
--- a/aconvert2/src/GasTexConverter.h
+++ b/aconvert2/src/GasTexConverter.h
@@ -968,7 +968,7 @@ void GasTexConverter::transitions(const automaton::ExtendedNFA < SymbolType, Sta
 		for(const auto& to : transition.second) {
 			std::pair<std::string, std::string> key( std::to_string ( transition.first.first ), std::to_string ( to ) );
 
-			std::string symbol = alib::StringDataFactory::toString(transition.first.second);
+			std::string symbol = replace ( alib::StringDataFactory::toString ( transition.first.second ), "\"", "\\\"" );
 
 			auto mapIterator = transitionMap.find(key);
 			if (mapIterator == transitionMap.end()) {
@@ -989,7 +989,7 @@ void GasTexConverter::transitions(const automaton::CompactNFA < SymbolType, Stat
 		for(const auto& to : transition.second) {
 			std::pair<std::string, std::string> key(std::to_string ( transition.first.first ), std::to_string ( to ) );
 
-			std::string symbol = alib::StringDataFactory::toString(string::stringFrom(transition.first.second));
+			std::string symbol = replace ( alib::StringDataFactory::toString ( string::stringFrom(transition.first.second )), "\"", "\\\"" );
 
 			auto mapIterator = transitionMap.find(key);
 			if (mapIterator == transitionMap.end()) {
@@ -1024,7 +1024,7 @@ void GasTexConverter::transitions(const automaton::DPDA < InputSymbolType, Epsil
 		if (std::get<1>(transition.first).template is<EpsilonType>()) {
 			symbol = "$\\varepsilon;$";
 		} else {
-			symbol = alib::StringDataFactory::toString(std::get<1>(transition.first).template get<InputSymbolType>());
+			symbol = replace ( alib::StringDataFactory::toString ( std::get<1>(transition.first ).template get<InputSymbolType>()), "\"", "\\\"" );
 		}
 
 		symbol += "|";
@@ -1055,12 +1055,12 @@ void GasTexConverter::transitions(const automaton::SinglePopDPDA < InputSymbolTy
 		if (std::get<1>(transition.first).template is<EpsilonType>()) {
 			symbol = "$\\varepsilon;$";
 		} else {
-			symbol = alib::StringDataFactory::toString(std::get<1>(transition.first).template get<InputSymbolType>());
+			symbol = replace ( alib::StringDataFactory::toString ( std::get<1>(transition.first ).template get<InputSymbolType>()), "\"", "\\\"" );
 		}
 
 		symbol += "|";
 
-		symbol += alib::StringDataFactory::toString(std::get<2>(transition.first));
+		symbol += replace ( alib::StringDataFactory::toString ( std::get<2>(transition.first )), "\"", "\\\"" );
 		symbol += "\\rarrow";
 		symbol += getStackSymbols(transition.second.second);
 
@@ -1087,7 +1087,7 @@ void GasTexConverter::transitions(const automaton::InputDrivenDPDA < SymbolType,
 		std::pair<std::string, std::string> key(std::to_string ( transition.first.first ), std::to_string ( to ) );
 		auto mapIterator = transitionMap.find(key);
 
-		std::string symbol = alib::StringDataFactory::toString(transition.first.second);
+		std::string symbol = replace ( alib::StringDataFactory::toString ( transition.first.second ), "\"", "\\\"" );
 
 		symbol += "|";
 
@@ -1118,7 +1118,7 @@ void GasTexConverter::transitions(const automaton::InputDrivenNPDA < InputSymbol
 			std::pair<std::string, std::string> key( std::to_string ( transition.first.first ), std::to_string ( to ) );
 			auto mapIterator = transitionMap.find(key);
 
-			std::string symbol = alib::StringDataFactory::toString(transition.first.second);
+			std::string symbol = replace ( alib::StringDataFactory::toString ( transition.first.second ), "\"", "\\\"" );
 
 			symbol += "|";
 
@@ -1145,13 +1145,13 @@ void GasTexConverter::transitions(const automaton::VisiblyPushdownDPDA < InputSy
 		std::pair<std::string, std::string> key( std::to_string ( transition.first.first ), std::to_string ( transition.second.first ) );
 		auto mapIterator = transitionMap.find(key);
 
-		std::string symbol = alib::StringDataFactory::toString(transition.first.second);
+		std::string symbol = replace ( alib::StringDataFactory::toString ( transition.first.second ), "\"", "\\\"" );
 
 		symbol += "|";
 
 		symbol += "$\\varepsilon;$";
 		symbol += "\\rarrow";
-		symbol += alib::StringDataFactory::toString(transition.second.second);
+		symbol += replace ( alib::StringDataFactory::toString ( transition.second.second ), "\"", "\\\"" );
 
 		if (mapIterator == transitionMap.end()) {
 			transitionMap.insert(std::make_pair(key, symbol));
@@ -1164,11 +1164,11 @@ void GasTexConverter::transitions(const automaton::VisiblyPushdownDPDA < InputSy
 		std::pair<std::string, std::string> key( std::to_string ( std::get<0>(transition.first) ), std::to_string ( transition.second ) );
 		auto mapIterator = transitionMap.find(key);
 
-		std::string symbol = alib::StringDataFactory::toString(std::get<1>(transition.first));
+		std::string symbol = replace ( alib::StringDataFactory::toString ( std::get<1>(transition.first )), "\"", "\\\"" );
 
 		symbol += "|";
 
-		symbol += alib::StringDataFactory::toString(std::get<2>(transition.first));
+		symbol += replace ( alib::StringDataFactory::toString ( std::get<2>(transition.first )), "\"", "\\\"" );
 		symbol += "\\rarrow";
 		symbol += "$\\varepsilon;$";
 
@@ -1183,7 +1183,7 @@ void GasTexConverter::transitions(const automaton::VisiblyPushdownDPDA < InputSy
 		std::pair<std::string, std::string> key( std::to_string ( transition.first.first ), std::to_string ( transition.second ) );
 		auto mapIterator = transitionMap.find(key);
 
-		std::string symbol = alib::StringDataFactory::toString(transition.first.second);
+		std::string symbol = replace ( alib::StringDataFactory::toString ( transition.first.second ), "\"", "\\\"" );
 
 		symbol += "|";
 
@@ -1210,13 +1210,13 @@ void GasTexConverter::transitions(const automaton::VisiblyPushdownNPDA < InputSy
 			std::pair<std::string, std::string> key( std::to_string ( transition.first.first ), std::to_string ( to.first ) );
 			auto mapIterator = transitionMap.find(key);
 
-			std::string symbol = alib::StringDataFactory::toString(transition.first.second);
+			std::string symbol = replace ( alib::StringDataFactory::toString ( transition.first.second ), "\"", "\\\"" );
 
 			symbol += "|";
 
 			symbol += "$\\varepsilon;$";
 			symbol += "\\rarrow";
-			symbol += alib::StringDataFactory::toString(to.second);
+			symbol += replace ( alib::StringDataFactory::toString ( to.second ), "\"", "\\\"" );
 
 			if (mapIterator == transitionMap.end()) {
 				transitionMap.insert(std::make_pair(key, symbol));
@@ -1231,11 +1231,11 @@ void GasTexConverter::transitions(const automaton::VisiblyPushdownNPDA < InputSy
 			std::pair<std::string, std::string> key( std::to_string ( std::get<0>(transition.first) ), std::to_string ( to ) );
 			auto mapIterator = transitionMap.find(key);
 
-			std::string symbol = alib::StringDataFactory::toString(std::get<1>(transition.first));
+			std::string symbol = replace ( alib::StringDataFactory::toString ( std::get<1>(transition.first )), "\"", "\\\"" );
 
 			symbol += "|";
 
-			symbol += alib::StringDataFactory::toString(std::get<2>(transition.first));
+			symbol += replace ( alib::StringDataFactory::toString ( std::get<2>(transition.first )), "\"", "\\\"" );
 			symbol += "\\rarrow";
 			symbol += "$\\varepsilon;$";
 
@@ -1252,7 +1252,7 @@ void GasTexConverter::transitions(const automaton::VisiblyPushdownNPDA < InputSy
 			std::pair<std::string, std::string> key( std::to_string ( transition.first.first ), std::to_string ( to ) );
 			auto mapIterator = transitionMap.find(key);
 
-			std::string symbol = alib::StringDataFactory::toString(transition.first.second);
+			std::string symbol = replace ( alib::StringDataFactory::toString ( transition.first.second ), "\"", "\\\"" );
 
 			symbol += "|";
 
@@ -1283,13 +1283,13 @@ void GasTexConverter::transitions(const automaton::RealTimeHeightDeterministicDP
 		if(transition.first.second.template is<EpsilonType>())
 			symbol = "$\\varepsilon;$";
 		else
-			symbol = alib::StringDataFactory::toString(transition.first.second.template get<InputSymbolType>());
+			symbol = replace ( alib::StringDataFactory::toString ( transition.first.second.template get<InputSymbolType>( )), "\"", "\\\"" );
 
 		symbol += "|";
 
 		symbol += "$\\varepsilon;$";
 		symbol += "\\rarrow";
-		symbol += alib::StringDataFactory::toString(transition.second.second);
+		symbol += replace ( alib::StringDataFactory::toString ( transition.second.second ), "\"", "\\\"" );
 
 		if (mapIterator == transitionMap.end()) {
 			transitionMap.insert(std::make_pair(key, symbol));
@@ -1306,11 +1306,11 @@ void GasTexConverter::transitions(const automaton::RealTimeHeightDeterministicDP
 		if(std::get<1>(transition.first).template is<EpsilonType>())
 			symbol = "$\\varepsilon;$";
 		else
-			symbol = alib::StringDataFactory::toString(std::get<1>(transition.first).template get<InputSymbolType>());
+			symbol = replace ( alib::StringDataFactory::toString ( std::get<1>(transition.first ).template get<InputSymbolType>()), "\"", "\\\"" );
 
 		symbol += "|";
 
-		symbol += alib::StringDataFactory::toString(std::get<2>(transition.first));
+		symbol += replace ( alib::StringDataFactory::toString ( std::get<2>(transition.first )), "\"", "\\\"" );
 		symbol += "\\rarrow";
 		symbol += "$\\varepsilon;$";
 
@@ -1329,7 +1329,7 @@ void GasTexConverter::transitions(const automaton::RealTimeHeightDeterministicDP
 		if(transition.first.second.template is<EpsilonType>())
 			symbol = "$\\varepsilon;$";
 		else
-			symbol = alib::StringDataFactory::toString(transition.first.second.template get<InputSymbolType>());
+			symbol = replace ( alib::StringDataFactory::toString ( transition.first.second.template get<InputSymbolType>( )), "\"", "\\\"" );
 
 		symbol += "|";
 
@@ -1360,13 +1360,13 @@ void GasTexConverter::transitions(const automaton::RealTimeHeightDeterministicNP
 			if(transition.first.second.template is<EpsilonType>())
 				symbol = "$\\varepsilon;$";
 			else
-				symbol = alib::StringDataFactory::toString(transition.first.second.template get<InputSymbolType>());
+				symbol = replace ( alib::StringDataFactory::toString ( transition.first.second.template get<InputSymbolType>( )), "\"", "\\\"" );
 
 			symbol += "|";
 
 			symbol += "$\\varepsilon;$";
 			symbol += "\\rarrow";
-			symbol += alib::StringDataFactory::toString(to.second);
+			symbol += replace ( alib::StringDataFactory::toString ( to.second ), "\"", "\\\"" );
 
 			if (mapIterator == transitionMap.end()) {
 				transitionMap.insert(std::make_pair(key, symbol));
@@ -1385,11 +1385,11 @@ void GasTexConverter::transitions(const automaton::RealTimeHeightDeterministicNP
 			if(std::get<1>(transition.first).template is<EpsilonType>())
 				symbol = "$\\varepsilon;$";
 			else
-				symbol = alib::StringDataFactory::toString(std::get<1>(transition.first).template get<InputSymbolType>());
+				symbol = replace ( alib::StringDataFactory::toString ( std::get<1>(transition.first ).template get<InputSymbolType>()), "\"", "\\\"" );
 
 			symbol += "|";
 
-			symbol += alib::StringDataFactory::toString(std::get<2>(transition.first));
+			symbol += replace ( alib::StringDataFactory::toString ( std::get<2>(transition.first )), "\"", "\\\"" );
 			symbol += "\\rarrow";
 			symbol += "$\\varepsilon;$";
 
@@ -1410,7 +1410,7 @@ void GasTexConverter::transitions(const automaton::RealTimeHeightDeterministicNP
 			if(transition.first.second.template is<EpsilonType>())
 				symbol = "$\\varepsilon;$";
 			else
-				symbol = alib::StringDataFactory::toString(transition.first.second.template get<InputSymbolType>());
+				symbol = replace ( alib::StringDataFactory::toString ( transition.first.second.template get<InputSymbolType>( )), "\"", "\\\"" );
 
 			symbol += "|";
 
@@ -1442,7 +1442,7 @@ void GasTexConverter::transitions(const automaton::NPDA < InputSymbolType, Epsil
 			if (std::get<1>(transition.first).template is<EpsilonType>()) {
 				symbol = "$\\varepsilon;$";
 			} else {
-				symbol = alib::StringDataFactory::toString(std::get<1>(transition.first).template get<InputSymbolType>());
+				symbol = replace ( alib::StringDataFactory::toString ( std::get<1>(transition.first ).template get<InputSymbolType>()), "\"", "\\\"" );
 			}
 
 			symbol += "|";
@@ -1475,12 +1475,12 @@ void GasTexConverter::transitions(const automaton::SinglePopNPDA < InputSymbolTy
 			if (std::get<1>(transition.first).template is<EpsilonType>()) {
 				symbol = "$\\varepsilon;$";
 			} else {
-				symbol = alib::StringDataFactory::toString(std::get<1>(transition.first).template get<InputSymbolType>());
+				symbol = replace ( alib::StringDataFactory::toString ( std::get<1>(transition.first ).template get<InputSymbolType>()), "\"", "\\\"" );
 			}
 
 			symbol += "|";
 
-			symbol += alib::StringDataFactory::toString(std::get<2>(transition.first));
+			symbol += replace ( alib::StringDataFactory::toString ( std::get<2>(transition.first )), "\"", "\\\"" );
 			symbol += "\\rarrow";
 			symbol += getStackSymbols(to.second);
 
@@ -1503,9 +1503,9 @@ void GasTexConverter::transitions(const automaton::OneTapeDTM < SymbolType, Stat
 		std::pair<std::string, std::string> key( std::to_string ( transition.first.first ), std::to_string ( std::get<0>(transition.second)));
 		auto mapIterator = transitionMap.find(key);
 
-		std::string symbol = alib::StringDataFactory::toString(transition.first.second);
+		std::string symbol = replace ( alib::StringDataFactory::toString ( transition.first.second ), "\"", "\\\"" );
 		symbol += "/";
-		symbol += alib::StringDataFactory::toString(std::get<1>(transition.second));
+		symbol += replace ( alib::StringDataFactory::toString ( std::get<1>(transition.second )), "\"", "\\\"" );
 		symbol += ",";
 		switch(std::get<2>(transition.second)) {
 		case automaton::Shift::LEFT:
diff --git a/aconvert2/src/TikZConverter.h b/aconvert2/src/TikZConverter.h
index 98f2c1be73776f7d59a5ba1b5135a6722d61dd64..b67bbc48f627e8ef101b6deff52aec822ab0b3a4 100644
--- a/aconvert2/src/TikZConverter.h
+++ b/aconvert2/src/TikZConverter.h
@@ -187,7 +187,7 @@ void TikZConverter::convert ( std::ostream & out, const automaton::EpsilonNFA <
 		if ( a.getInitialState ( ) == state.first )
 			mods += ",initial";
 
-		out << "\\node[state" + mods + "] (" << state.second << ") {" << alib::StringDataFactory::toString ( state.first ) << "}\n";
+		out << "\\node[state" + mods + "] (" << state.second << ") {" << replace ( alib::StringDataFactory::toString (  state.first  ), "\"", "\\\"" ) << "}\n";
 	}
 
 	transitions ( a, states, out );
@@ -215,7 +215,7 @@ void TikZConverter::convert ( std::ostream & out, const automaton::MultiInitialS
 		if ( a.getInitialStates ( ).count ( state.first ) )
 			mods += ",initial";
 
-		out << "\\node[state" + mods + "] (" << state.second << ") {" << alib::StringDataFactory::toString ( state.first ) << "}\n";
+		out << "\\node[state" + mods + "] (" << state.second << ") {" << replace ( alib::StringDataFactory::toString (  state.first  ), "\"", "\\\"" ) << "}\n";
 	}
 
 	transitions ( a, states, out );
@@ -243,7 +243,7 @@ void TikZConverter::convert ( std::ostream & out, const automaton::NFA < SymbolT
 		if ( a.getInitialState ( ) == state.first )
 			mods += ",initial";
 
-		out << "\\node[state" + mods + "] (" << state.second << ") {" << alib::StringDataFactory::toString ( state.first ) << "}\n";
+		out << "\\node[state" + mods + "] (" << state.second << ") {" << replace ( alib::StringDataFactory::toString (  state.first  ), "\"", "\\\"" ) << "}\n";
 	}
 
 	transitions ( a, states, out );
@@ -271,7 +271,7 @@ void TikZConverter::convert ( std::ostream & out, const automaton::DFA < SymbolT
 		if ( a.getInitialState ( ) == state.first )
 			mods += ",initial";
 
-		out << "\\node[state" + mods + "] (" << state.second << ") {" << alib::StringDataFactory::toString ( state.first ) << "}\n";
+		out << "\\node[state" + mods + "] (" << state.second << ") {" << replace ( alib::StringDataFactory::toString (  state.first  ), "\"", "\\\"" ) << "}\n";
 	}
 
 	transitions ( a, states, out );
@@ -299,7 +299,7 @@ void TikZConverter::convert ( std::ostream & out, const automaton::ExtendedNFA <
 		if ( a.getInitialState ( ) == state.first )
 			mods += ",initial";
 
-		out << "\\node[state" + mods + "] (" << state.second << ") {" << alib::StringDataFactory::toString ( state.first ) << "}\n";
+		out << "\\node[state" + mods + "] (" << state.second << ") {" << replace ( alib::StringDataFactory::toString (  state.first  ), "\"", "\\\"" ) << "}\n";
 	}
 
 	transitions ( a, states, out );
@@ -327,7 +327,7 @@ void TikZConverter::convert ( std::ostream & out, const automaton::CompactNFA <
 		if ( a.getInitialState ( ) == state.first )
 			mods += ",initial";
 
-		out << "\\node[state" + mods + "] (" << state.second << ") {" << alib::StringDataFactory::toString ( state.first ) << "}\n";
+		out << "\\node[state" + mods + "] (" << state.second << ") {" << replace ( alib::StringDataFactory::toString (  state.first  ), "\"", "\\\"" ) << "}\n";
 	}
 
 	transitions ( a, states, out );
@@ -352,7 +352,7 @@ void TikZConverter::convert ( std::ostream & out, const automaton::NFTA < Symbol
 		if ( a.getFinalStates ( ).count ( state.first ) )
 			mods += ",accepting";
 
-		out << "\\node[state" + mods + "] (" << state.second << ") {" << alib::StringDataFactory::toString ( state.first ) << "}\n";
+		out << "\\node[state" + mods + "] (" << state.second << ") {" << replace ( alib::StringDataFactory::toString (  state.first  ), "\"", "\\\"" ) << "}\n";
 	}
 
 	transitions ( a, states, out );
@@ -377,7 +377,7 @@ void TikZConverter::convert ( std::ostream & out, const automaton::DFTA < Symbol
 		if ( a.getFinalStates ( ).count ( state.first ) )
 			mods += ",accepting";
 
-		out << "\\node[state" + mods + "] (" << state.second << ") {" << alib::StringDataFactory::toString ( state.first ) << "}\n";
+		out << "\\node[state" + mods + "] (" << state.second << ") {" << replace ( alib::StringDataFactory::toString (  state.first  ), "\"", "\\\"" ) << "}\n";
 	}
 
 	transitions ( a, states, out );
@@ -405,7 +405,7 @@ void TikZConverter::convert ( std::ostream & out, const automaton::DPDA < InputS
 		if ( a.getInitialState ( ) == state.first )
 			mods += ",initial";
 
-		out << "\\node[state" + mods + "] (" << state.second << ") {" << alib::StringDataFactory::toString ( state.first ) << "}\n";
+		out << "\\node[state" + mods + "] (" << state.second << ") {" << replace ( alib::StringDataFactory::toString (  state.first  ), "\"", "\\\"" ) << "}\n";
 	}
 
 	transitions ( a, states, out );
@@ -433,7 +433,7 @@ void TikZConverter::convert ( std::ostream & out, const automaton::SinglePopDPDA
 		if ( a.getInitialState ( ) == state.first )
 			mods += ",initial";
 
-		out << "\\node[state" + mods + "] (" << state.second << ") {" << alib::StringDataFactory::toString ( state.first ) << "}\n";
+		out << "\\node[state" + mods + "] (" << state.second << ") {" << replace ( alib::StringDataFactory::toString (  state.first  ), "\"", "\\\"" ) << "}\n";
 	}
 
 	transitions ( a, states, out );
@@ -461,7 +461,7 @@ void TikZConverter::convert ( std::ostream & out, const automaton::InputDrivenDP
 		if ( a.getInitialState ( ) == state.first )
 			mods += ",initial";
 
-		out << "\\node[state" + mods + "] (" << state.second << ") {" << alib::StringDataFactory::toString ( state.first ) << "}\n";
+		out << "\\node[state" + mods + "] (" << state.second << ") {" << replace ( alib::StringDataFactory::toString (  state.first  ), "\"", "\\\"" ) << "}\n";
 	}
 
 	transitions ( a, states, out );
@@ -489,7 +489,7 @@ void TikZConverter::convert ( std::ostream & out, const automaton::InputDrivenNP
 		if ( a.getInitialState ( ) == state.first )
 			mods += ",initial";
 
-		out << "\\node[state" + mods + "] (" << state.second << ") {" << alib::StringDataFactory::toString ( state.first ) << "}\n";
+		out << "\\node[state" + mods + "] (" << state.second << ") {" << replace ( alib::StringDataFactory::toString (  state.first  ), "\"", "\\\"" ) << "}\n";
 	}
 
 	transitions ( a, states, out );
@@ -517,7 +517,7 @@ void TikZConverter::convert ( std::ostream & out, const automaton::VisiblyPushdo
 		if ( a.getInitialState ( ) == state.first )
 			mods += ",initial";
 
-		out << "\\node[state" + mods + "] (" << state.second << ") {" << alib::StringDataFactory::toString ( state.first ) << "}\n";
+		out << "\\node[state" + mods + "] (" << state.second << ") {" << replace ( alib::StringDataFactory::toString (  state.first  ), "\"", "\\\"" ) << "}\n";
 	}
 
 	transitions ( a, states, out );
@@ -545,7 +545,7 @@ void TikZConverter::convert ( std::ostream & out, const automaton::VisiblyPushdo
 		if ( a.getInitialStates ( ).count ( state.first ) )
 			mods += ",initial";
 
-		out << "\\node[state" + mods + "] (" << state.second << ") {" << alib::StringDataFactory::toString ( state.first ) << "}\n";
+		out << "\\node[state" + mods + "] (" << state.second << ") {" << replace ( alib::StringDataFactory::toString (  state.first  ), "\"", "\\\"" ) << "}\n";
 	}
 
 	transitions ( a, states, out );
@@ -573,7 +573,7 @@ void TikZConverter::convert ( std::ostream & out, const automaton::RealTimeHeigh
 		if ( a.getInitialState ( ) == state.first )
 			mods += ",initial";
 
-		out << "\\node[state" + mods + "] (" << state.second << ") {" << alib::StringDataFactory::toString ( state.first ) << "}\n";
+		out << "\\node[state" + mods + "] (" << state.second << ") {" << replace ( alib::StringDataFactory::toString (  state.first  ), "\"", "\\\"" ) << "}\n";
 	}
 
 	transitions ( a, states, out );
@@ -601,7 +601,7 @@ void TikZConverter::convert ( std::ostream & out, const automaton::RealTimeHeigh
 		if ( a.getInitialStates ( ).count ( state.first ) )
 			mods += ",initial";
 
-		out << "\\node[state" + mods + "] (" << state.second << ") {" << alib::StringDataFactory::toString ( state.first ) << "}\n";
+		out << "\\node[state" + mods + "] (" << state.second << ") {" << replace ( alib::StringDataFactory::toString (  state.first  ), "\"", "\\\"" ) << "}\n";
 	}
 
 	transitions ( a, states, out );
@@ -629,7 +629,7 @@ void TikZConverter::convert ( std::ostream & out, const automaton::NPDA < InputS
 		if ( a.getInitialState ( ) == state.first )
 			mods += ",initial";
 
-		out << "\\node[state" + mods + "] (" << state.second << ") {" << alib::StringDataFactory::toString ( state.first ) << "}\n";
+		out << "\\node[state" + mods + "] (" << state.second << ") {" << replace ( alib::StringDataFactory::toString (  state.first  ), "\"", "\\\"" ) << "}\n";
 	}
 
 	transitions ( a, states, out );
@@ -657,7 +657,7 @@ void TikZConverter::convert ( std::ostream & out, const automaton::SinglePopNPDA
 		if ( a.getInitialState ( ) == state.first )
 			mods += ",initial";
 
-		out << "\\node[state" + mods + "] (" << state.second << ") {" << alib::StringDataFactory::toString ( state.first ) << "}\n";
+		out << "\\node[state" + mods + "] (" << state.second << ") {" << replace ( alib::StringDataFactory::toString (  state.first  ), "\"", "\\\"" ) << "}\n";
 	}
 
 	transitions ( a, states, out );
@@ -685,7 +685,7 @@ void TikZConverter::convert ( std::ostream & out, const automaton::OneTapeDTM <
 		if ( a.getInitialState ( ) == state.first )
 			mods += ",initial";
 
-		out << "\\node[state" + mods + "] (" << state.second << ") {" << alib::StringDataFactory::toString ( state.first ) << "}\n";
+		out << "\\node[state" + mods + "] (" << state.second << ") {" << replace ( alib::StringDataFactory::toString (  state.first  ), "\"", "\\\"" ) << "}\n";
 	}
 
 	transitions ( a, states, out );
@@ -703,7 +703,7 @@ void TikZConverter::transitions ( const automaton::EpsilonNFA < SymbolType, Epsi
 		if ( transition.first.second.template is < EpsilonType > ( ) )
 			symbol = "&epsilon;";
 		else
-			symbol = alib::StringDataFactory::toString ( std::get < 1 > ( transition.first ).template get < SymbolType > ( ) );
+			symbol = replace ( alib::StringDataFactory::toString (  std::get < 1 > ( transition.first  ).template get < SymbolType > ( ) ), "\"", "\\\"" );
 
 		for ( const StateType & to : transition.second ) {
 			std::pair < int, int > key ( states.find ( transition.first.first )->second, states.find ( to )->second );
@@ -732,7 +732,7 @@ void TikZConverter::transitions ( const automaton::EpsilonNFA < SymbolType, Epsi
 
 	 // print the map
 	for ( std::pair < const std::pair < int, int >, std::string > & transition : transitions ) {
-		replace ( transition.second, "\n", "\\n" );
+		replaceInplace ( transition.second, "\n", "\\n" );
 
 		out << "(" << transition.first.first << ") edge [left] node [align=center] ";
 		out << "{$" << transition.second << "$}";
@@ -746,7 +746,7 @@ void TikZConverter::transitions ( const automaton::MultiInitialStateNFA < Symbol
 
 	 // put transitions from automaton to "transitions"
 	for ( const auto & transition : fsm.getTransitions ( ) ) {
-		std::string symbol = alib::StringDataFactory::toString ( transition.first.second );
+		std::string symbol = replace ( alib::StringDataFactory::toString (  transition.first.second  ), "\"", "\\\"" );
 
 		for ( const StateType & to : transition.second ) {
 			std::pair < int, int > key ( states.find ( transition.first.first )->second, states.find ( to )->second );
@@ -775,7 +775,7 @@ void TikZConverter::transitions ( const automaton::MultiInitialStateNFA < Symbol
 
 	 // print the map
 	for ( std::pair < const std::pair < int, int >, std::string > & transition : transitions ) {
-		replace ( transition.second, "\n", "\\n" );
+		replaceInplace ( transition.second, "\n", "\\n" );
 
 		out << "(" << transition.first.first << ") edge [left] node [align=center] ";
 		out << "{$" << transition.second << "$}";
@@ -789,7 +789,7 @@ void TikZConverter::transitions ( const automaton::NFA < SymbolType, StateType >
 
 	 // put transitions from automaton to "transitions"
 	for ( const auto & transition : fsm.getTransitions ( ) ) {
-		std::string symbol = alib::StringDataFactory::toString ( transition.first.second );
+		std::string symbol = replace ( alib::StringDataFactory::toString (  transition.first.second  ), "\"", "\\\"" );
 
 		for ( const StateType & to : transition.second ) {
 			std::pair < int, int > key ( states.find ( transition.first.first )->second, states.find ( to )->second );
@@ -818,7 +818,7 @@ void TikZConverter::transitions ( const automaton::NFA < SymbolType, StateType >
 
 	 // print the map
 	for ( std::pair < const std::pair < int, int >, std::string > & transition : transitions ) {
-		replace ( transition.second, "\n", "\\n" );
+		replaceInplace ( transition.second, "\n", "\\n" );
 
 		out << "(" << transition.first.first << ") edge [left] node [align=center] ";
 		out << "{$" << transition.second << "$}";
@@ -832,7 +832,7 @@ void TikZConverter::transitions ( const automaton::DFA < SymbolType, StateType >
 
 	 // put transitions from automaton to "transitions"
 	for ( const auto & transition : fsm.getTransitions ( ) ) {
-		std::string symbol = alib::StringDataFactory::toString ( transition.first.second );
+		std::string symbol = replace ( alib::StringDataFactory::toString (  transition.first.second  ), "\"", "\\\"" );
 
 		std::pair < int, int > key ( states.find ( transition.first.first )->second, states.find ( transition.second )->second );
 		std::map < std::pair < int, int >, std::string >::iterator mapit = transitions.find ( key );
@@ -859,7 +859,7 @@ void TikZConverter::transitions ( const automaton::DFA < SymbolType, StateType >
 
 	 // print the map
 	for ( std::pair < const std::pair < int, int >, std::string > & transition : transitions ) {
-		replace ( transition.second, "\n", "\\n" );
+		replaceInplace ( transition.second, "\n", "\\n" );
 
 		out << "(" << transition.first.first << ") edge [left] node [align=center] ";
 		out << "{$" << transition.second << "$}";
@@ -873,7 +873,7 @@ void TikZConverter::transitions ( const automaton::ExtendedNFA < SymbolType, Sta
 
 	 // put transitions from automaton to "transitions"
 	for ( const auto & transition : fsm.getTransitions ( ) ) {
-		std::string symbol = alib::StringDataFactory::toString ( transition.first.second );
+		std::string symbol = replace ( alib::StringDataFactory::toString (  transition.first.second  ), "\"", "\\\"" );
 
 		for ( const StateType & to : transition.second ) {
 			std::pair < int, int > key ( states.find ( transition.first.first )->second, states.find ( to )->second );
@@ -902,7 +902,7 @@ void TikZConverter::transitions ( const automaton::ExtendedNFA < SymbolType, Sta
 
 	 // print the map
 	for ( std::pair < const std::pair < int, int >, std::string > & transition : transitions ) {
-		replace ( transition.second, "\n", "\\n" );
+		replaceInplace ( transition.second, "\n", "\\n" );
 
 		out << "(" << transition.first.first << ") edge [left] node [align=center] ";
 		out << "{$" << transition.second << "$}";
@@ -916,7 +916,7 @@ void TikZConverter::transitions ( const automaton::CompactNFA < SymbolType, Stat
 
 	 // put transitions from automaton to "transitions"
 	for ( const auto & transition : fsm.getTransitions ( ) ) {
-		std::string symbol = alib::StringDataFactory::toString ( string::stringFrom ( transition.first.second ) );
+		std::string symbol = replace ( alib::StringDataFactory::toString (  string::stringFrom ( transition.first.second  ) ), "\"", "\\\"" );
 
 		for ( const StateType & to : transition.second ) {
 			std::pair < int, int > key ( states.find ( transition.first.first )->second, states.find ( to )->second );
@@ -945,7 +945,7 @@ void TikZConverter::transitions ( const automaton::CompactNFA < SymbolType, Stat
 
 	 // print the map
 	for ( std::pair < const std::pair < int, int >, std::string > & transition : transitions ) {
-		replace ( transition.second, "\n", "\\n" );
+		replaceInplace ( transition.second, "\n", "\\n" );
 
 		out << "(" << transition.first.first << ") edge [left] node [align=center] ";
 		out << "{$" << transition.second << "$}";
@@ -959,7 +959,7 @@ void TikZConverter::transitions ( const automaton::NFTA < SymbolType, RankType,
 
 	 // put transitions from automaton to "transitions"
 	for ( const auto & transition : fta.getTransitions ( ) ) {
-		std::string symbol = alib::StringDataFactory::toString ( transition.first.first.getSymbol ( ) );
+		std::string symbol = replace ( alib::StringDataFactory::toString (  transition.first.first.getSymbol (  ) ), "\"", "\\\"" );
 		symbol += std::to_string ( transition.first.first.getRank ( ) );
 
 		for ( const StateType & to : transition.second ) {
@@ -999,7 +999,7 @@ void TikZConverter::transitions ( const automaton::NFTA < SymbolType, RankType,
 	unsigned i = states.size ( ) + 1;
 
 	for ( std::pair < const std::pair < int, std::vector < int > >, std::string > & transition : transitions ) {
-		replace ( transition.second, "\n", "\\n" );
+		replaceInplace ( transition.second, "\n", "\\n" );
 
 		out << "(" << i << ") edge [left] node [align=center] ";
 		out << "{$" << transition.second << "$}";
@@ -1025,7 +1025,7 @@ void TikZConverter::transitions ( const automaton::DFTA < SymbolType, RankType,
 
 	 // put transitions from automaton to "transitions"
 	for ( const auto & transition : fta.getTransitions ( ) ) {
-		std::string symbol = alib::StringDataFactory::toString ( transition.first.first.getSymbol ( ) );
+		std::string symbol = replace ( alib::StringDataFactory::toString (  transition.first.first.getSymbol (  ) ), "\"", "\\\"" );
 		symbol += std::to_string ( transition.first.first.getRank ( ) );
 
 		std::pair < int, std::vector < int > > key ( states.find ( transition.second )->second, { } );
@@ -1063,7 +1063,7 @@ void TikZConverter::transitions ( const automaton::DFTA < SymbolType, RankType,
 	unsigned i = states.size ( ) + 1;
 
 	for ( std::pair < const std::pair < int, std::vector < int > >, std::string > & transition : transitions ) {
-		replace ( transition.second, "\n", "\\n" );
+		replaceInplace ( transition.second, "\n", "\\n" );
 
 		out << "(" << i << ") edge [left] node [align=center] ";
 		out << "{$" << transition.second << "$}";
@@ -1094,7 +1094,7 @@ void TikZConverter::transitions ( const automaton::DPDA < InputSymbolType, Epsil
 		if ( std::get < 1 > ( transition.first ).template is < EpsilonType > ( ) )
 			symbol = "&epsilon;";
 		else
-			symbol = alib::StringDataFactory::toString ( std::get < 1 > ( transition.first ).template get < InputSymbolType > ( ) );
+			symbol = replace ( alib::StringDataFactory::toString (  std::get < 1 > ( transition.first  ).template get < InputSymbolType > ( ) ), "\"", "\\\"" );
 
 		symbol += " |";
 
@@ -1103,7 +1103,7 @@ void TikZConverter::transitions ( const automaton::DPDA < InputSymbolType, Epsil
 			symbol += " &epsilon;";
 		else
 			for ( const PushdownStoreSymbolType & symb : std::get < 2 > ( transition.first ) )
-				symbol += " " + alib::StringDataFactory::toString ( symb );
+				symbol += " " + replace ( alib::StringDataFactory::toString (  symb  ), "\"", "\\\"" );
 
 		symbol += " ->";
 
@@ -1112,7 +1112,7 @@ void TikZConverter::transitions ( const automaton::DPDA < InputSymbolType, Epsil
 			symbol += " &epsilon;";
 		else
 			for ( const PushdownStoreSymbolType & symb : transition.second.second )
-				symbol += " " + alib::StringDataFactory::toString ( symb );
+				symbol += " " + replace ( alib::StringDataFactory::toString (  symb  ), "\"", "\\\"" );
 
 		 // Insert into map
 		std::pair < int, int > key ( states.find ( std::get < 0 > ( transition.first ) )->second, states.find ( transition.second.first )->second );
@@ -1140,7 +1140,7 @@ void TikZConverter::transitions ( const automaton::DPDA < InputSymbolType, Epsil
 
 	 // print the map
 	for ( std::pair < const std::pair < int, int >, std::string > & transition : transitions ) {
-		replace ( transition.second, "\n", "\\n" );
+		replaceInplace ( transition.second, "\n", "\\n" );
 
 		out << "(" << transition.first.first << ") edge [left] node [align=center] ";
 		out << "{$" << transition.second << "$}";
@@ -1159,12 +1159,12 @@ void TikZConverter::transitions ( const automaton::SinglePopDPDA < InputSymbolTy
 		if ( std::get < 1 > ( transition.first ).template is < EpsilonType > ( ) )
 			symbol = "&epsilon;";
 		else
-			symbol = alib::StringDataFactory::toString ( std::get < 1 > ( transition.first ).template get < InputSymbolType > ( ) );
+			symbol = replace ( alib::StringDataFactory::toString (  std::get < 1 > ( transition.first  ).template get < InputSymbolType > ( ) ), "\"", "\\\"" );
 
 		symbol += " |";
 
 		 // Pop part
-		symbol += " " + alib::StringDataFactory::toString ( std::get < 2 > ( transition.first ) );
+		symbol += " " + replace ( alib::StringDataFactory::toString (  std::get < 2 > ( transition.first  ) ), "\"", "\\\"" );
 
 		symbol += " ->";
 
@@ -1173,7 +1173,7 @@ void TikZConverter::transitions ( const automaton::SinglePopDPDA < InputSymbolTy
 			symbol += " &epsilon;";
 		else
 			for ( const PushdownStoreSymbolType & symb : transition.second.second )
-				symbol += " " + alib::StringDataFactory::toString ( symb );
+				symbol += " " + replace ( alib::StringDataFactory::toString (  symb  ), "\"", "\\\"" );
 
 		 // Insert into map
 		std::pair < int, int > key ( states.find ( std::get < 0 > ( transition.first ) )->second, states.find ( transition.second.first )->second );
@@ -1201,7 +1201,7 @@ void TikZConverter::transitions ( const automaton::SinglePopDPDA < InputSymbolTy
 
 	 // print the map
 	for ( std::pair < const std::pair < int, int >, std::string > & transition : transitions ) {
-		replace ( transition.second, "\n", "\\n" );
+		replaceInplace ( transition.second, "\n", "\\n" );
 
 		out << "(" << transition.first.first << ") edge [left] node [align=center] ";
 		out << "{$" << transition.second << "$}";
@@ -1220,7 +1220,7 @@ void TikZConverter::transitions ( const automaton::InputDrivenDPDA < InputSymbol
 		const auto & push = symbolToPDSOperation.find ( transition.first.second )->second.second;
 
 		 // input symbol
-		std::string symbol = alib::StringDataFactory::toString ( transition.first.second );
+		std::string symbol = replace ( alib::StringDataFactory::toString (  transition.first.second  ), "\"", "\\\"" );
 
 		symbol += " |";
 
@@ -1229,7 +1229,7 @@ void TikZConverter::transitions ( const automaton::InputDrivenDPDA < InputSymbol
 			symbol += " &epsilon;";
 		else
 			for ( const PushdownStoreSymbolType & symb : pop )
-				symbol += " " + alib::StringDataFactory::toString ( symb );
+				symbol += " " + replace ( alib::StringDataFactory::toString (  symb  ), "\"", "\\\"" );
 
 		symbol += " ->";
 
@@ -1240,7 +1240,7 @@ void TikZConverter::transitions ( const automaton::InputDrivenDPDA < InputSymbol
 			symbol += " &epsilon;";
 		else
 			for ( const PushdownStoreSymbolType & symb : push )
-				symbol += " " + alib::StringDataFactory::toString ( symb );
+				symbol += " " + replace ( alib::StringDataFactory::toString (  symb  ), "\"", "\\\"" );
 
 		 // Insert into map
 		std::pair < int, int > key ( states.find ( transition.first.first )->second, states.find ( to )->second );
@@ -1268,7 +1268,7 @@ void TikZConverter::transitions ( const automaton::InputDrivenDPDA < InputSymbol
 
 	 // print the map
 	for ( std::pair < const std::pair < int, int >, std::string > & transition : transitions ) {
-		replace ( transition.second, "\n", "\\n" );
+		replaceInplace ( transition.second, "\n", "\\n" );
 
 		out << "(" << transition.first.first << ") edge [left] node [align=center] ";
 		out << "{$" << transition.second << "$}";
@@ -1287,7 +1287,7 @@ void TikZConverter::transitions ( const automaton::InputDrivenNPDA < InputSymbol
 		const auto & push = symbolToPDSOperation.find ( transition.first.second )->second.second;
 
 		 // input symbol
-		std::string symbol = alib::StringDataFactory::toString ( transition.first.second );
+		std::string symbol = replace ( alib::StringDataFactory::toString (  transition.first.second  ), "\"", "\\\"" );
 
 		symbol += " |";
 
@@ -1296,7 +1296,7 @@ void TikZConverter::transitions ( const automaton::InputDrivenNPDA < InputSymbol
 			symbol += " &epsilon;";
 		else
 			for ( const PushdownStoreSymbolType & symb : pop )
-				symbol += " " + alib::StringDataFactory::toString ( symb );
+				symbol += " " + replace ( alib::StringDataFactory::toString (  symb  ), "\"", "\\\"" );
 
 		symbol += " ->";
 
@@ -1310,7 +1310,7 @@ void TikZConverter::transitions ( const automaton::InputDrivenNPDA < InputSymbol
 				symbol2 += " &epsilon;";
 			else
 				for ( const PushdownStoreSymbolType & symb : push )
-					symbol2 += " " + alib::StringDataFactory::toString ( symb );
+					symbol2 += " " + replace ( alib::StringDataFactory::toString (  symb  ), "\"", "\\\"" );
 
 			 // Insert into map
 			std::pair < int, int > key ( states.find ( transition.first.first )->second, states.find ( to )->second );
@@ -1339,7 +1339,7 @@ void TikZConverter::transitions ( const automaton::InputDrivenNPDA < InputSymbol
 
 	 // print the map
 	for ( std::pair < const std::pair < int, int >, std::string > & transition : transitions ) {
-		replace ( transition.second, "\n", "\\n" );
+		replaceInplace ( transition.second, "\n", "\\n" );
 
 		out << "(" << transition.first.first << ") edge [left] node [align=center] ";
 		out << "{$" << transition.second << "$}";
@@ -1353,7 +1353,7 @@ void TikZConverter::transitions ( const automaton::VisiblyPushdownDPDA < InputSy
 
 	for ( const auto & transition : pda.getCallTransitions ( ) ) {
 		 // input symbol
-		std::string symbol = alib::StringDataFactory::toString ( transition.first.second );
+		std::string symbol = replace ( alib::StringDataFactory::toString (  transition.first.second  ), "\"", "\\\"" );
 
 		symbol += " |";
 
@@ -1361,7 +1361,7 @@ void TikZConverter::transitions ( const automaton::VisiblyPushdownDPDA < InputSy
 		symbol += " &epsilon;";
 		symbol += " ->";
 
-		symbol += " " + alib::StringDataFactory::toString ( transition.second.second );
+		symbol += " " + replace ( alib::StringDataFactory::toString (  transition.second.second  ), "\"", "\\\"" );
 
 		 // Insert into map
 		std::pair < int, int > key ( states.find ( transition.first.first )->second, states.find ( transition.second.first )->second );
@@ -1387,12 +1387,12 @@ void TikZConverter::transitions ( const automaton::VisiblyPushdownDPDA < InputSy
 
 	for ( const auto & transition : pda.getReturnTransitions ( ) ) {
 		 // input symbol
-		std::string symbol = alib::StringDataFactory::toString ( std::get < 1 > ( transition.first ) );
+		std::string symbol = replace ( alib::StringDataFactory::toString (  std::get < 1 > ( transition.first  ) ), "\"", "\\\"" );
 
 		symbol += " |";
 
 		 // Pop part
-		symbol += " " + alib::StringDataFactory::toString ( std::get < 2 > ( transition.first ) );
+		symbol += " " + replace ( alib::StringDataFactory::toString (  std::get < 2 > ( transition.first  ) ), "\"", "\\\"" );
 		symbol += " ->";
 
 		symbol += " &epsilon;";
@@ -1421,7 +1421,7 @@ void TikZConverter::transitions ( const automaton::VisiblyPushdownDPDA < InputSy
 
 	for ( const auto & transition : pda.getLocalTransitions ( ) ) {
 		 // input symbol
-		std::string symbol = alib::StringDataFactory::toString ( transition.first.second );
+		std::string symbol = replace ( alib::StringDataFactory::toString (  transition.first.second  ), "\"", "\\\"" );
 
 		symbol += " |";
 
@@ -1457,7 +1457,7 @@ void TikZConverter::transitions ( const automaton::VisiblyPushdownDPDA < InputSy
 
 	 // print the map
 	for ( std::pair < const std::pair < int, int >, std::string > & transition : transitions ) {
-		replace ( transition.second, "\n", "\\n" );
+		replaceInplace ( transition.second, "\n", "\\n" );
 
 		out << "(" << transition.first.first << ") edge [left] node [align=center] ";
 		out << "{$" << transition.second << "$}";
@@ -1471,7 +1471,7 @@ void TikZConverter::transitions ( const automaton::VisiblyPushdownNPDA < InputSy
 
 	for ( const auto & transition : pda.getCallTransitions ( ) ) {
 		 // input symbol
-		std::string symbol = alib::StringDataFactory::toString ( transition.first.second );
+		std::string symbol = replace ( alib::StringDataFactory::toString (  transition.first.second  ), "\"", "\\\"" );
 
 		symbol += " |";
 
@@ -1483,7 +1483,7 @@ void TikZConverter::transitions ( const automaton::VisiblyPushdownNPDA < InputSy
 
 		for ( const auto & to : transition.second ) {
 			symbol2	 = symbol;
-			symbol2 += " " + alib::StringDataFactory::toString ( to.second );
+			symbol2 += " " + replace ( alib::StringDataFactory::toString (  to.second  ), "\"", "\\\"" );
 
 			 // Insert into map
 			std::pair < int, int > key ( states.find ( transition.first.first )->second, states.find ( to.first )->second );
@@ -1510,12 +1510,12 @@ void TikZConverter::transitions ( const automaton::VisiblyPushdownNPDA < InputSy
 
 	for ( const auto & transition : pda.getReturnTransitions ( ) ) {
 		 // input symbol
-		std::string symbol = alib::StringDataFactory::toString ( std::get < 1 > ( transition.first ) );
+		std::string symbol = replace ( alib::StringDataFactory::toString (  std::get < 1 > ( transition.first  ) ), "\"", "\\\"" );
 
 		symbol += " |";
 
 		 // Pop part
-		symbol += " " + alib::StringDataFactory::toString ( std::get < 2 > ( transition.first ) );
+		symbol += " " + replace ( alib::StringDataFactory::toString (  std::get < 2 > ( transition.first  ) ), "\"", "\\\"" );
 		symbol += " ->";
 
 		std::string symbol2;
@@ -1551,7 +1551,7 @@ void TikZConverter::transitions ( const automaton::VisiblyPushdownNPDA < InputSy
 		std::string symbol;
 
 		 // input symbol
-		symbol = alib::StringDataFactory::toString ( transition.first.second );
+		symbol = replace ( alib::StringDataFactory::toString (  transition.first.second  ), "\"", "\\\"" );
 
 		symbol += " |";
 
@@ -1592,7 +1592,7 @@ void TikZConverter::transitions ( const automaton::VisiblyPushdownNPDA < InputSy
 
 	 // print the map
 	for ( std::pair < const std::pair < int, int >, std::string > & transition : transitions ) {
-		replace ( transition.second, "\n", "\\n" );
+		replaceInplace ( transition.second, "\n", "\\n" );
 
 		out << "(" << transition.first.first << ") edge [left] node [align=center] ";
 		out << "{$" << transition.second << "$}";
@@ -1611,7 +1611,7 @@ void TikZConverter::transitions ( const automaton::RealTimeHeightDeterministicDP
 		if ( transition.first.second.template is < EpsilonType > ( ) )
 			symbol = "&epsilon";
 		else
-			symbol = alib::StringDataFactory::toString ( transition.first.second.template get < InputSymbolType > ( ) );
+			symbol = replace ( alib::StringDataFactory::toString (  transition.first.second.template get < InputSymbolType > (  ) ), "\"", "\\\"" );
 
 		symbol += " |";
 
@@ -1619,7 +1619,7 @@ void TikZConverter::transitions ( const automaton::RealTimeHeightDeterministicDP
 		symbol += " &epsilon;";
 		symbol += " ->";
 
-		symbol += " " + alib::StringDataFactory::toString ( transition.second.second );
+		symbol += " " + replace ( alib::StringDataFactory::toString (  transition.second.second  ), "\"", "\\\"" );
 
 		 // Insert into map
 		std::pair < int, int > key ( states.find ( transition.first.first )->second, states.find ( transition.second.first )->second );
@@ -1650,12 +1650,12 @@ void TikZConverter::transitions ( const automaton::RealTimeHeightDeterministicDP
 		if ( std::get < 1 > ( transition.first ).template is < EpsilonType > ( ) )
 			symbol = "&epsilon";
 		else
-			symbol = alib::StringDataFactory::toString ( std::get < 1 > ( transition.first ).template get < InputSymbolType > ( ) );
+			symbol = replace ( alib::StringDataFactory::toString (  std::get < 1 > ( transition.first  ).template get < InputSymbolType > ( ) ), "\"", "\\\"" );
 
 		symbol += " |";
 
 		 // Pop part
-		symbol += " " + alib::StringDataFactory::toString ( std::get < 2 > ( transition.first ) );
+		symbol += " " + replace ( alib::StringDataFactory::toString (  std::get < 2 > ( transition.first  ) ), "\"", "\\\"" );
 		symbol += " ->";
 
 		symbol += " &epsilon;";
@@ -1689,7 +1689,7 @@ void TikZConverter::transitions ( const automaton::RealTimeHeightDeterministicDP
 		if ( transition.first.second.template is < EpsilonType > ( ) )
 			symbol = "&epsilon";
 		else
-			symbol = alib::StringDataFactory::toString ( transition.first.second.template get < InputSymbolType > ( ) );
+			symbol = replace ( alib::StringDataFactory::toString (  transition.first.second.template get < InputSymbolType > (  ) ), "\"", "\\\"" );
 
 		symbol += " |";
 
@@ -1725,7 +1725,7 @@ void TikZConverter::transitions ( const automaton::RealTimeHeightDeterministicDP
 
 	 // print the map
 	for ( std::pair < const std::pair < int, int >, std::string > & transition : transitions ) {
-		replace ( transition.second, "\n", "\\n" );
+		replaceInplace ( transition.second, "\n", "\\n" );
 
 		out << "(" << transition.first.first << ") edge [left] node [align=center] ";
 		out << "{$" << transition.second << "$}";
@@ -1744,7 +1744,7 @@ void TikZConverter::transitions ( const automaton::RealTimeHeightDeterministicNP
 		if ( transition.first.second.template is < EpsilonType > ( ) )
 			symbol = "&epsilon";
 		else
-			symbol = alib::StringDataFactory::toString ( transition.first.second.template get < InputSymbolType > ( ) );
+			symbol = replace ( alib::StringDataFactory::toString (  transition.first.second.template get < InputSymbolType > (  ) ), "\"", "\\\"" );
 
 		symbol += " |";
 
@@ -1756,7 +1756,7 @@ void TikZConverter::transitions ( const automaton::RealTimeHeightDeterministicNP
 
 		for ( const auto & to : transition.second ) {
 			symbol2 = symbol;
-			symbol2 += " " + alib::StringDataFactory::toString ( to.second );
+			symbol2 += " " + replace ( alib::StringDataFactory::toString (  to.second  ), "\"", "\\\"" );
 
 			 // Insert into map
 			std::pair < int, int > key ( states.find ( transition.first.first )->second, states.find ( to.first )->second );
@@ -1788,12 +1788,12 @@ void TikZConverter::transitions ( const automaton::RealTimeHeightDeterministicNP
 		if ( std::get < 1 > ( transition.first ).template is < EpsilonType > ( ) )
 			symbol = "&epsilon;";
 		else
-			symbol = alib::StringDataFactory::toString ( std::get < 1 > ( transition.first ).template get < InputSymbolType > ( ) );
+			symbol = replace ( alib::StringDataFactory::toString (  std::get < 1 > ( transition.first  ).template get < InputSymbolType > ( ) ), "\"", "\\\"" );
 
 		symbol += " |";
 
 		 // Pop part
-		symbol += " " + alib::StringDataFactory::toString ( std::get < 2 > ( transition.first ) );
+		symbol += " " + replace ( alib::StringDataFactory::toString (  std::get < 2 > ( transition.first  ) ), "\"", "\\\"" );
 		symbol += " ->";
 
 		std::string symbol2;
@@ -1832,7 +1832,7 @@ void TikZConverter::transitions ( const automaton::RealTimeHeightDeterministicNP
 		if ( transition.first.second.template is < EpsilonType > ( ) )
 			symbol = "&epsilon;";
 		else
-			symbol = alib::StringDataFactory::toString ( transition.first.second.template get < InputSymbolType > ( ) );
+			symbol = replace ( alib::StringDataFactory::toString (  transition.first.second.template get < InputSymbolType > (  ) ), "\"", "\\\"" );
 
 		symbol += " |";
 
@@ -1873,7 +1873,7 @@ void TikZConverter::transitions ( const automaton::RealTimeHeightDeterministicNP
 
 	 // print the map
 	for ( std::pair < const std::pair < int, int >, std::string > & transition : transitions ) {
-		replace ( transition.second, "\n", "\\n" );
+		replaceInplace ( transition.second, "\n", "\\n" );
 
 		out << "(" << transition.first.first << ") edge [left] node [align=center] ";
 		out << "{$" << transition.second << "$}";
@@ -1892,7 +1892,7 @@ void TikZConverter::transitions ( const automaton::NPDA < InputSymbolType, Epsil
 		if ( std::get < 1 > ( transition.first ).template is < EpsilonType > ( ) )
 			symbol = "&epsilon;";
 		else
-			symbol = alib::StringDataFactory::toString ( std::get < 1 > ( transition.first ).template get < InputSymbolType > ( ) );
+			symbol = replace ( alib::StringDataFactory::toString (  std::get < 1 > ( transition.first  ).template get < InputSymbolType > ( ) ), "\"", "\\\"" );
 
 		symbol += " |";
 
@@ -1901,7 +1901,7 @@ void TikZConverter::transitions ( const automaton::NPDA < InputSymbolType, Epsil
 			symbol += " &epsilon;";
 		else
 			for ( const PushdownStoreSymbolType & symb : std::get < 2 > ( transition.first ) )
-				symbol += " " + alib::StringDataFactory::toString ( symb );
+				symbol += " " + replace ( alib::StringDataFactory::toString (  symb  ), "\"", "\\\"" );
 
 		symbol += " ->";
 
@@ -1915,7 +1915,7 @@ void TikZConverter::transitions ( const automaton::NPDA < InputSymbolType, Epsil
 				symbol2 += " &epsilon;";
 			else
 				for ( const PushdownStoreSymbolType & symb : to.second )
-					symbol2 += " " + alib::StringDataFactory::toString ( symb );
+					symbol2 += " " + replace ( alib::StringDataFactory::toString (  symb  ), "\"", "\\\"" );
 
 			 // Insert into map
 			std::pair < int, int > key ( states.find ( std::get < 0 > ( transition.first ) )->second, states.find ( to.first )->second );
@@ -1944,7 +1944,7 @@ void TikZConverter::transitions ( const automaton::NPDA < InputSymbolType, Epsil
 
 	 // print the map
 	for ( std::pair < const std::pair < int, int >, std::string > & transition : transitions ) {
-		replace ( transition.second, "\n", "\\n" );
+		replaceInplace ( transition.second, "\n", "\\n" );
 
 		out << "(" << transition.first.first << ") edge [left] node [align=center] ";
 		out << "{$" << transition.second << "$}";
@@ -1963,12 +1963,12 @@ void TikZConverter::transitions ( const automaton::SinglePopNPDA < InputSymbolTy
 		if ( std::get < 1 > ( transition.first ).template is < EpsilonType > ( ) )
 			symbol = "&epsilon;";
 		else
-			symbol = alib::StringDataFactory::toString ( std::get < 1 > ( transition.first ).template get < InputSymbolType > ( ) );
+			symbol = replace ( alib::StringDataFactory::toString (  std::get < 1 > ( transition.first  ).template get < InputSymbolType > ( ) ), "\"", "\\\"" );
 
 		symbol += " |";
 
 		 // Pop part
-		symbol += " " + alib::StringDataFactory::toString ( std::get < 2 > ( transition.first ) );
+		symbol += " " + replace ( alib::StringDataFactory::toString (  std::get < 2 > ( transition.first  ) ), "\"", "\\\"" );
 
 		symbol += " ->";
 
@@ -1982,7 +1982,7 @@ void TikZConverter::transitions ( const automaton::SinglePopNPDA < InputSymbolTy
 				symbol2 += " &epsilon;";
 			else
 				for ( const PushdownStoreSymbolType & symb : to.second )
-					symbol2 += " " + alib::StringDataFactory::toString ( symb );
+					symbol2 += " " + replace ( alib::StringDataFactory::toString (  symb  ), "\"", "\\\"" );
 
 			 // Insert into map
 			std::pair < int, int > key ( states.find ( std::get < 0 > ( transition.first ) )->second, states.find ( to.first )->second );
@@ -2011,7 +2011,7 @@ void TikZConverter::transitions ( const automaton::SinglePopNPDA < InputSymbolTy
 
 	 // print the map
 	for ( std::pair < const std::pair < int, int >, std::string > & transition : transitions ) {
-		replace ( transition.second, "\n", "\\n" );
+		replaceInplace ( transition.second, "\n", "\\n" );
 
 		out << "(" << transition.first.first << ") edge [left] node [align=center] ";
 		out << "{$" << transition.second << "$}";
@@ -2028,9 +2028,9 @@ void TikZConverter::transitions ( const automaton::OneTapeDTM < SymbolType, Stat
 
 		 // input symbol
 		symbol	= "(";
-		symbol += alib::StringDataFactory::toString ( transition.first.second );
+		symbol += replace ( alib::StringDataFactory::toString (  transition.first.second  ), "\"", "\\\"" );
 		symbol += ", ";
-		symbol += alib::StringDataFactory::toString ( std::get < 1 > ( transition.second ) );
+		symbol += replace ( alib::StringDataFactory::toString (  std::get < 1 > ( transition.second  ) ), "\"", "\\\"" );
 		symbol += " ";
 
 		switch ( std::get < 2 > ( transition.second ) ) {
@@ -2076,7 +2076,7 @@ void TikZConverter::transitions ( const automaton::OneTapeDTM < SymbolType, Stat
 
 	 // print the map
 	for ( std::pair < const std::pair < int, int >, std::string > & transition : transitions ) {
-		replace ( transition.second, "\n", "\\n" );
+		replaceInplace ( transition.second, "\n", "\\n" );
 
 		out << "(" << transition.first.first << ") edge [left] node [align=center] ";
 		out << "{$" << transition.second << "$}";
diff --git a/aconvert2/src/common/converterCommon.hpp b/aconvert2/src/common/converterCommon.hpp
index 2cc696965540a7e6e9ae7808bfd01d284bdca73e..9d7e7324cc7b6deb3cc8aceb679ef8ba2fb15ff7 100644
--- a/aconvert2/src/common/converterCommon.hpp
+++ b/aconvert2/src/common/converterCommon.hpp
@@ -8,7 +8,7 @@
 #ifndef CONVERTER_COMMON_HPP_
 #define CONVERTER_COMMON_HPP_
 
-auto replace = [] ( std::string & str, const std::string & what, const std::string & with ) {
+auto replaceInplace = [] ( std::string & str, const std::string & what, const std::string & with ) {
 	size_t index = 0;
 
 	while ( ( index = str.find ( what, index ) ) != std::string::npos ) {
@@ -17,4 +17,9 @@ auto replace = [] ( std::string & str, const std::string & what, const std::stri
 	}
 };
 
+auto replace = [] ( std::string str, const std::string & what, const std::string & with ) {
+	replaceInplace ( str, what, with );
+	return str;
+};
+
 #endif /* CONVERTER_COMMON_HPP_ */