Nondeterministic Finite Automaton