Update Automata.c