tag-nfa utils