Delete finitestate.py