Module surf_n_term::automata[][src]

NFA and DFA

This module implements NFA (Nondeterministic finite automaton) which is can be combined in more complicated one with Thompson’s construction and complied to DFA (Deterministic finaite automaton) with power set construction.

Structs

DFA
DFAState
DFAStateInfo
NFA