Crate finite_automata

Source

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.