code: public static <S, I, A extends DFA<S, I> & InputAlphabetHolder<I>> CompactDFA<I> minimize(A dfa) {
          return HopcroftMinimization.minimizeDFA(dfa);
      }
docs: Minimizes the given DFA. This method does not modify the given DFA, but returns the minimized version as a new
  instance.
  <p>
  <b>Note:</b> the DFA must be completely specified
  
  @param dfa
  the DFA to be minimized
  
  @return a minimized version of the specified DFA