diff --git a/alib2algo/src/automaton/determinize/Determinize.cpp b/alib2algo/src/automaton/determinize/Determinize.cpp index 90ac800af5fcf53c59f3eeff4c275ee847b2e25d..8bb13e5482467ef84ce526428b634b7ea0c2cac7 100644 --- a/alib2algo/src/automaton/determinize/Determinize.cpp +++ b/alib2algo/src/automaton/determinize/Determinize.cpp @@ -26,7 +26,9 @@ namespace automaton { namespace determinize { automaton::Automaton Determinize::determinize(const automaton::Automaton& automaton) { - return dispatch(automaton.getData()); + automaton::Automaton res = dispatch(automaton.getData()); + res.normalize ( ); + return res; } DFA<> Determinize::determinize(const automaton::DFA<>& automaton) { diff --git a/alib2algo/src/automaton/simplify/MinimizeBrzozowski.cpp b/alib2algo/src/automaton/simplify/MinimizeBrzozowski.cpp index 1c2c0b5de8b7cbc90ec2a3f84565822371b2c1f2..b6cd150bd035d8920aa226cf69c9884227f3abb0 100644 --- a/alib2algo/src/automaton/simplify/MinimizeBrzozowski.cpp +++ b/alib2algo/src/automaton/simplify/MinimizeBrzozowski.cpp @@ -12,7 +12,9 @@ namespace automaton { namespace simplify { automaton::Automaton MinimizeBrzozowski::minimize(const automaton::Automaton& automaton) { - return dispatch(automaton.getData()); + automaton::Automaton res = dispatch(automaton.getData()); + res.normalize ( ); + return res; } auto MinimizeBrzozowskiDFA = MinimizeBrzozowski::RegistratorWrapper<automaton::DFA < >, automaton::DFA < > >(MinimizeBrzozowski::minimize);