Create nfa_to_json.py