Class and Description |
---|
Automaton |
Automaton.Operations |
AutomatonFactory |
DeterministicAutomaton
Tagging subclass to distinguish between deterministic and non-deterministic autonmata
|
DeterministicAutomaton.DeterministicOperations |
DFAOperations |
NDFAOperations
Operations on non-deterministic finite automata
|
PossibleNodes
Title: DECLARE
|
State |
Transition |
TransitionLabel |
TransitionMatrix |
Class and Description |
---|
Automaton |