public class DFAOperations extends NDFAOperations
Constructor and Description |
---|
DFAOperations(java.lang.Class<? extends AutomatonFactory> factoryClass) |
Modifier and Type | Method and Description |
---|---|
DeterministicAutomaton |
complete(DeterministicAutomaton a)
Return an automaton accepting the same language as a, but where every transition is fully
specified.
|
static DFAOperations |
getInstance() |
TransitionMatrix |
getTransitionMatrix(DeterministicAutomaton aa)
Return transition matrix (state# -> transition# -> state#).
|
DeterministicAutomaton |
intersect(DeterministicAutomaton a,
DeterministicAutomaton b)
Construct the synchronized product of the two automata (i.e., the automaton accepting the
intersection of the languages accepted by the two automata).
|
DeterministicAutomaton |
minimize(DeterministicAutomaton a)
Return a (possibly smaller) automaton accepting the same language as a.
|
DeterministicAutomaton |
minimizeSimple(DeterministicAutomaton aa)
Return a (possibly smaller) automaton accepting the same language as a.
|
DeterministicAutomaton |
negate(DeterministicAutomaton aa)
Return an automaton accepting the complement of the language accepted by a.
|
DeterministicAutomaton |
union(DeterministicAutomaton a,
DeterministicAutomaton b)
Construct the synchronized product of the two automata (i.e., the automaton accepting the
union of the languages accepted by the two automata).
|
copyState, copyStates, copyTransition, copyTransitions, determinize, getLabels, getLabels, getMaxId, intersect, isAll, isEmpty, negate, newFactory, reduce, union
public DFAOperations(java.lang.Class<? extends AutomatonFactory> factoryClass)
public static DFAOperations getInstance()
public DeterministicAutomaton complete(DeterministicAutomaton a)
a
- public TransitionMatrix getTransitionMatrix(DeterministicAutomaton aa)
a
- public DeterministicAutomaton intersect(DeterministicAutomaton a, DeterministicAutomaton b)
a
- b
- public DeterministicAutomaton minimize(DeterministicAutomaton a)
a
- public DeterministicAutomaton minimizeSimple(DeterministicAutomaton aa)
a
- public DeterministicAutomaton negate(DeterministicAutomaton aa)
a
- public DeterministicAutomaton union(DeterministicAutomaton a, DeterministicAutomaton b)
a
- b
-