public interface LanguageEquivalenceAlgorithm extends Algorithm
Modifier and Type | Interface and Description |
---|---|
static class |
LanguageEquivalenceAlgorithm.Implementations
An enumeration of implementations of this algorithm.
|
Algorithm.OrderingType, Algorithm.SearchType
Modifier and Type | Field and Description |
---|---|
static String |
LANGUAGE_EQUIVALENCE_ITERATION_STEP
Language Equivalence Iteration Step Counter String Literal
|
Modifier and Type | Method and Description |
---|---|
CospanCounterExample |
getLanguageEquivalenceCounterExample()
Returns the counter example, if the language of the first automaton is
not equivalent to the language of the second automaton, and
null
otherwise |
boolean |
isEquivalent(Automaton first,
Automaton second)
Checks whether the language of the first automaton
first is equivalent to
the language of the second automaton second . |
addComputationListener, cancelComputation, removeComputationListener
static final String LANGUAGE_EQUIVALENCE_ITERATION_STEP
boolean isEquivalent(Automaton first, Automaton second)
first
is equivalent to
the language of the second automaton second
.first
- the first automatonsecond
- the second automatontrue
if both automata are equivalent, false
otherwiseCospanCounterExample getLanguageEquivalenceCounterExample()
null
otherwisenull
otherwise