/** Simple, original brics implementation of determinize() */
public static void determinizeSimple(Automaton a) {
if (a.deterministic || a.isSingleton()) return;
Set<State> initialset = new HashSet<State>();
initialset.add(a.initial);
determinizeSimple(a, initialset);
}
/** 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));
}
