Update finite_automata.py