Add nfa2dfa project