Package | Description |
---|---|
de.uni_due.inf.ti.raven.algorithms |
Classes to run different algorithms.
|
Modifier and Type | Class and Description |
---|---|
class |
AntichainLanguageInclusion
This class implements the two antichain algorithms deciding the language
inclusion problem for (finite) automata.
|
class |
BisimulationUpToCongruenceLanguageInclusion
This class implements the bisimulation up to congruence algorithm for both deciding the
language equivalence and the language inclusion problem for (finite) automata.
|
class |
SimulationAntichainLanguageInclusion
This class implements the two simulation-based antichain algorithms deciding
the language inclusion problem for (finite) automata.
|