Create ENFAToDFA.py