Class MinimizationOperations


  • public final class MinimizationOperations
    extends Object
    Operations for minimizing automata.
    WARNING: This API is experimental and might change in incompatible ways in the next release.
    • Method Detail

      • minimize

        public static Automaton minimize​(Automaton a,
                                         int maxDeterminizedStates)
        Minimizes (and determinizes if not already deterministic) the given automaton using Hopcroft's algorithm.
        Parameters:
        maxDeterminizedStates - maximum number of states determinizing the automaton can result in. Set higher to allow more complex queries and lower to prevent memory exhaustion.