Create nfa.html