@FunctionalInterface public interface Minimization<S,A extends OmegaAcceptance>
void
minimize(MutableAutomaton<S,A> automaton)
void minimize(MutableAutomaton<S,A> automaton)