Definition:Nondeterministic Finite Automaton

Also see

 * Definition:Deterministic Finite Automaton