Package dk.brics.automaton
Class MinimizationOperations
java.lang.Object
dk.brics.automaton.MinimizationOperations
Operations for minimizing automata.
-
Method Summary
Modifier and TypeMethodDescriptionstatic void
Minimizes (and determinizes if not already deterministic) the given automaton.static void
Minimizes the given automaton using Brzozowski's algorithm.static void
Minimizes the given automaton using Hopcroft's algorithm.static void
Minimizes the given automaton using Huffman's algorithm.
-
Method Details
-
minimize
Minimizes (and determinizes if not already deterministic) the given automaton.- See Also:
-
minimizeHuffman
Minimizes the given automaton using Huffman's algorithm. -
minimizeBrzozowski
Minimizes the given automaton using Brzozowski's algorithm. -
minimizeHopcroft
Minimizes the given automaton using Hopcroft's algorithm.
-