Update and rename test.py to DFA.py