dk.brics.automaton
public final class MinimizationOperations extends Object
Method Summary | |
---|---|
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. |
See Also: Automaton