fix DFTA and NFTA to DotConversion

alib2aux/src/convert/DotConverter.h

@@ -1021,7 +1021,7 @@ void DotConverter::transitions(const automaton::NFTA < SymbolType, RankType, Sta
 	}
 	//Print auxilary dots
-	for (unsigned i = 1; i < transitions.size(); i++) {
+	for (unsigned i = 1; i <= transitions.size(); i++) {
 		out << "node [shape = point, label=\"\"]; " << states.size() + i << ";\n";
 	}
@@ -1071,7 +1071,7 @@ void DotConverter::transitions(const automaton::DFTA < SymbolType, RankType, Sta
 	}
 	//Print auxilary dots
-	for (unsigned i = 1; i < transitions.size(); i++) {
+	for (unsigned i = 1; i <= transitions.size(); i++) {
 		out << "node [shape = point, label=\"\"]; " << states.size() + i << ";\n";
 	}
@@ -1137,7 +1137,7 @@ void DotConverter::transitions(const automaton::DPDA < InputSymbolType, EpsilonT
 			transitions.insert(std::make_pair(key, symbol));
 		} else {
 			mapit->second += ",";
-			
+
 			size_t pos = mapit->second.find_last_of("\n");
 			if(pos == std::string::npos) pos = 0;
 			if(mapit->second.size() - pos > 100) mapit->second += "\n";