public final class MinimizationOperations extends Object
Modifier and Type | Method and Description |
---|---|
static Automaton |
minimize(Automaton a)
Minimizes (and determinizes if not already deterministic) the given
automaton.
|
static Automaton |
minimizeHopcroft(Automaton a)
Minimizes the given automaton using Hopcroft's algorithm.
|
Copyright © 2000–2018 The Apache Software Foundation. All rights reserved.