Create DFA.py