constructed nfa can be converted to dfa