Provides the interface for minimizing a finite state automaton. This uses {@link automata.fsa.Minimizer} to perform the actual minimization steps.