Module enso_automata::nfa [−][src]
Expand description
The structure for defining non-deterministic finite automata.
Structs
| Nfa | The definition of a NFA for a given set of symbols, states, and transitions (specifically a NFA with ε-moves). |
Type Definitions
| State | Specialized NFA state type. |
| StateSetId | A state identifier based on a set of states. |