Package dk.brics.automaton
Class MinimizationOperations
- java.lang.Object
-
- dk.brics.automaton.MinimizationOperations
-
public final class MinimizationOperations extends Object
Operations for minimizing automata.
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method 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.static void
minimizeValmari(Automaton automaton)
Minimizes the given automaton using Valmari's algorithm.
-
-
-
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.
-
minimizeValmari
public static void minimizeValmari(Automaton automaton)
Minimizes the given automaton using Valmari's algorithm.
-
-