Crate typestate_automata[−][src]

Structs

DeterministicFiniteAutomata

A representation for a deterministic finite automata.

NonDeterministicFiniteAutomata

A representation for non-deterministic finite automata.

Type Definitions

Dfa

Type alias for DeterministicFiniteAutomata.

Nfa

Type alias for NonDeterministicFiniteAutomata.