not use nfa