Nondeterministic Finite Automata