can set nfa final states