public static void MinimizeBrzozowski(Automaton a) { if (a.IsSingleton) { return; } BasicOperations.Determinize(a, Reverse(a).ToList()); BasicOperations.Determinize(a, Reverse(a).ToList()); }
public void Determinize() => BasicOperations.Determinize(this);