normalize Cartesian product based algorithms

alib2algo/src/automaton/transform/AutomataIntersectionCartesianProduct.cpp

@@ -13,7 +13,9 @@ namespace automaton {
 namespace transform {
 automaton::Automaton AutomataIntersectionCartesianProduct::intersection(const automaton::Automaton& first, const automaton::Automaton& second) {
-	return dispatch(first.getData(), second.getData());
+	automaton::Automaton res = dispatch(first.getData(), second.getData());
+	res.normalize ( );
+	return res;
 }
 auto AutomataIntersectionCartesianProductDFA = AutomataIntersectionCartesianProduct::RegistratorWrapper<automaton::DFA < DefaultSymbolType, std::pair < DefaultStateType, DefaultStateType > >, automaton::DFA < > >(AutomataIntersectionCartesianProduct::intersection);

alib2algo/src/automaton/transform/AutomataUnionCartesianProduct.cpp

@@ -14,7 +14,9 @@ namespace automaton {
 namespace transform {
 automaton::Automaton AutomataUnionCartesianProduct::unification(const automaton::Automaton& first, const automaton::Automaton& second) {
-	return dispatch(first.getData(), second.getData());
+	automaton::Automaton res = dispatch(first.getData(), second.getData());
+	res.normalize ( );
+	return res;
 }
 auto AutomataUnionCartesianProductDFA = AutomataUnionCartesianProduct::RegistratorWrapper<automaton::DFA < DefaultSymbolType, std::pair < DefaultStateType, DefaultStateType > >, automaton::DFA < > >(AutomataUnionCartesianProduct::unification);