Class MinimizationOperations

java.lang.Object
dk.brics.automaton.MinimizationOperations

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

    • minimize

      public static void minimize(Automaton a)
      Minimizes (and determinizes if not already deterministic) the given automaton.
      See Also:
    • 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.