| Class | Description |
|---|---|
| ArrayIterable<T> | |
| Automaton | |
| DefaultAutomatonFactory | |
| DeterministicAutomaton |
Tagging subclass to distinguish between deterministic and non-deterministic autonmata
|
| DFAOperations | |
| DOTExporter | |
| NDFAOperations |
Operations on non-deterministic finite automata
|
| State | |
| Transition | |
| TransitionLabel | |
| TransitionMatrix |