public final class MinimizationOperations
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
(package private) static class |
MinimizationOperations.IntPair |
(package private) static class |
MinimizationOperations.StateList |
(package private) static class |
MinimizationOperations.StateListNode |
Modifier | Constructor and Description |
---|---|
private |
MinimizationOperations() |
Modifier and Type | Method and Description |
---|---|
static Automaton |
minimize(Automaton a,
int maxDeterminizedStates)
Minimizes (and determinizes if not already deterministic) the given
automaton using Hopcroft's algorithm.
|
public static Automaton minimize(Automaton a, int maxDeterminizedStates)
maxDeterminizedStates
- maximum number of states determinizing the
automaton can result in. Set higher to allow more complex queries and
lower to prevent memory exhaustion.