Update Automaton.cpp