Create LtoDFA.py