Update Automata.md