code: public static <S, I, T, O, A extends MealyMachine<S, I, T, O> & InputAlphabetHolder<I>> CompactMealy<I, O> minimizeMealy(A mealy) {
          return minimizeMealy(mealy, PruningMode.PRUNE_AFTER);
      }
docs: Minimizes the given Mealy machine. The result is returned in the form of a {@link CompactMealy}, using the
  alphabet obtained via <code>mealy.{@link InputAlphabetHolder#getInputAlphabet() getInputAlphabet()}</code>.
  Pruning (see above) is performed after computing state equivalences.
  
  @param mealy
  the Mealy machine to minimize
  
  @return a minimized version of the specified Mealy machine