adds nondeterministic finite automaton