Module enso_automata::state[][src]

Expand description

This module exports State implementation for Nondeterministic Finite Automata.

Structs

Data

A named state for a super::nfa::Nfa.

State

A state identifier for an arbitrary finite automaton.

Transition

A transition between states in a finite automaton that must consume a symbol to trigger.