Class MinimizationOperations


  • public final class MinimizationOperations
    extends Object
    Operations for minimizing automata.
    • Method Detail

      • minimizeHopcroft

        public static void minimizeHopcroft​(Automaton a)
        Minimizes the given automaton using Hopcroft's algorithm.