Normalizer normalizer=new Normalizer();
Automaton tempMinimizedAuto=minimizerDeterminizer.transform(automaton);
if (tempMinimizedAuto.delta().size()>=automaton.delta().size())
return automaton;
if (tempMinimizedAuto.initials().size()!=1 || tempMinimizedAuto.terminals().size()!=1)
tempMinimizedAuto=normalizer.transform(tempMinimizedAuto);
if (tempMinimizedAuto.delta().size()>automaton.delta().size())
return automaton;
return tempMinimizedAuto;
}
protected void useStandardAutomataConnector(Automaton biggerPropertyAutomaton,Automaton smallerPropertyAutomaton,Transition transition) {