Final version

Nondeterministic finite automaton