String Match Finite Automata Algorithm

NFAs have been generalized in multiple ways, e.g., nondeterministic finite automaton with ε-movements, finite-state transducers, pushdown automaton, alternating automaton, ω-automaton, and probabilistic automaton. Besides the DFAs, other known special cases of NFAs are unambiguous finite automaton (UFA) and self-verifying finite automaton (SVFA).

String Match Finite Automata source code, pseudocode and analysis