Interface | Description |
---|---|
AutomatonFactory |
Class | Description |
---|---|
ArrayIterable<T> | |
Automaton | |
AutomatonUtils | |
DefaultAutomatonFactory | |
DeterministicAutomaton |
Tagging subclass to distinguish between deterministic and non-deterministic autonmata
|
DFAOperations | |
DOTExporter | |
ExecutableAutomaton |
Title: DECLARE
|
NDFAOperations |
Operations on non-deterministic finite automata
|
PossibleNodes |
Title: DECLARE
|
State | |
Transition | |
TransitionLabel | |
TransitionMatrix |