dk.brics.automaton

## Class MinimizationOperations

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

-     public final class MinimizationOperations
      extends java.lang.Object

  Operations for minimizing automata.

- - ### Method Summary

    Methods
    Modifier and Type | Method and Description
    --- | ---
    `static void` | `minimize(Automaton a)` Minimizes (and determinizes if not already deterministic) the given automaton.
    `static void` | `minimizeBrzozowski(Automaton a)` Minimizes the given automaton using Brzozowski's algorithm.
    `static void` | `minimizeHopcroft(Automaton a)` Minimizes the given automaton using Hopcroft's algorithm.
    `static void` | `minimizeHuffman(Automaton a)` Minimizes the given automaton using Huffman's algorithm.

    - ### Methods inherited from class java.lang.Object

      `equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

- - ### Method Detail

    - #### minimize

          public static void minimize(Automaton a)

      Minimizes (and determinizes if not already deterministic) the given automaton.
      See Also:
        `Automaton.setMinimization(int)`

    - #### 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.