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.static void
minimizeValmari
(Automaton automaton) Minimizes the given automaton using Valmari'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. -
minimizeValmari
Minimizes the given automaton using Valmari's algorithm.
-