/** Minimizes the given automaton using Brzozowski's algorithm. */
 public static void minimizeBrzozowski(Automaton a) {
   if (a.isSingleton()) return;
   BasicOperations.determinize(a, SpecialOperations.reverse(a));
   BasicOperations.determinize(a, SpecialOperations.reverse(a));
 }
 /** Simple, original brics implementation of Brzozowski minimize() */
 public static void minimizeSimple(Automaton a) {
   if (a.isSingleton()) return;
   determinizeSimple(a, SpecialOperations.reverse(a));
   determinizeSimple(a, SpecialOperations.reverse(a));
 }