use nfa for DFI search