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 determinizeWorkLimit)
        Minimizes (and determinizes if not already deterministic) the given automaton using Hopcroft's algorithm.
        determinizeWorkLimit - maximum effort to spend determinizing the automaton. Set higher to allow more complex queries and lower to prevent memory exhaustion. Use Operations.DEFAULT_DETERMINIZE_WORK_LIMIT as a decent default if you don't otherwise know what to specify.