nfa2dfa profile