Crate typestate_automata 

Structs

DeterministicFiniteAutomata

A representation for a deterministic finite automata.

NonDeterministicFiniteAutomata

A representation for non-deterministic finite automata.

Type Aliases

Dfa

Type alias for DeterministicFiniteAutomata.

Nfa

Type alias for NonDeterministicFiniteAutomata.