public static void MinimizeBrzozowski(Automaton a)
        {
            if (a.IsSingleton)
            {
                return;
            }

            BasicOperations.Determinize(a, Reverse(a).ToList());
            BasicOperations.Determinize(a, Reverse(a).ToList());
        }
Example #2
0
 public void Determinize() => BasicOperations.Determinize(this);