NFA

Nondeterministic Finite-state Automaton.

See Finite State Machine.