normalise Automaton types after normalisation algo

alib2algo/src/automaton/simplify/Normalize.cpp

@@ -12,7 +12,9 @@ namespace automaton {
 namespace simplify {
 automaton::Automaton Normalize::normalize(const automaton::Automaton& automaton) {
-	return dispatch(automaton.getData());
+	automaton::Automaton res = dispatch(automaton.getData());
+	res.normalize ( );
+	return res;
 }
 auto NormalizeDFA = Normalize::RegistratorWrapper<automaton::DFA < DefaultSymbolType, unsigned >, automaton::DFA < > >(Normalize::normalize);

alib2algo/test-src/automaton/transform/AutomataConcatenationTest.cpp

@@ -81,6 +81,8 @@ void AutomataConcatenationTest::testAutomataConcatenation() {
 	automaton::Automaton umdfa21(automaton::simplify::Normalize::normalize(automaton::simplify::Trim::trim(automaton::simplify::MinimizeBrzozowski::minimize(automaton::simplify::EpsilonRemoverIncoming::remove(u21)))));
 	automaton::Automaton umdfa22(automaton::simplify::Normalize::normalize(automaton::simplify::Trim::trim(automaton::simplify::MinimizeBrzozowski::minimize(automaton::simplify::EpsilonRemoverIncoming::remove(u22)))));
+	umdfa.normalize ( );
+
 	CPPUNIT_ASSERT(umdfa11 == umdfa);
 	CPPUNIT_ASSERT(umdfa12 == umdfa);
 	CPPUNIT_ASSERT(umdfa21 == umdfa);

alib2algo/test-src/automaton/transform/AutomataUnionTest.cpp

@@ -77,6 +77,8 @@ void AutomataUnionTest::testAutomataUnion() {
 	automaton::Automaton umdfa1(automaton::simplify::Normalize::normalize(automaton::simplify::Trim::trim(automaton::simplify::MinimizeBrzozowski::minimize(automaton::simplify::EpsilonRemoverIncoming::remove(u1)))));
 	automaton::Automaton umdfa2(automaton::simplify::Normalize::normalize(automaton::simplify::Trim::trim(automaton::simplify::MinimizeBrzozowski::minimize(automaton::simplify::EpsilonRemoverIncoming::remove(u2)))));
+	umdfa.normalize ( );
+
 	CPPUNIT_ASSERT(umdfa1 == umdfa);
 	CPPUNIT_ASSERT(umdfa2 == umdfa);

alib2algo/test-src/automaton/transform/AutomatonIterationTest.cpp

@@ -59,6 +59,8 @@ void AutomatonIterationTest::testAutomatonIteration() {
 	automaton::Automaton mdfa2 (automaton::simplify::Normalize::normalize(automaton::simplify::Trim::trim(automaton::simplify::MinimizeBrzozowski::minimize(automaton::simplify::EpsilonRemoverIncoming::remove(i2)))));
 	automaton::Automaton mdfa3 (automaton::simplify::Normalize::normalize(automaton::simplify::Trim::trim(automaton::simplify::MinimizeBrzozowski::minimize(automaton::simplify::EpsilonRemoverIncoming::remove(res)))));
+	mdfa3.normalize ( );
+
 	CPPUNIT_ASSERT(mdfa1 == mdfa2);
 	CPPUNIT_ASSERT(mdfa1 == mdfa3);
 }