Class MinimizationOperations


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

      • minimizeHuffman

        public static void minimizeHuffman​(Automaton a)
        Minimizes the given automaton using Huffman's algorithm.
      • minimizeBrzozowski

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

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

        public static void minimizeValmari​(Automaton automaton)
        Minimizes the given automaton using Valmari's algorithm.