Delete nfa2dfa.js