Update automata.py