Crate finite_automata

Structs

Dfa	A deterministic finite automaton.
Enfa	A nondeterministic finite automaton with epsilon moves.
Nfa	A nondeterministic finite automaton.
StateIndex	An index for a state in a finite automaton.
TransitionIndex	An index for a transition in a finite automaton.

Traits

StatesContains
StatesIndex
StatesSlice
Subsume

Functions

states_contains_all_from	Convert state indices from from into a set of states and returns the state indices in the container, if all states exist.
states_contains_closure_from	Convert state indices from from into a set of states and returns the state index in the container, if the set of states exist.
states_contains_from	Convert state index from from into a state index in the container, if the state exists.