Create Automata.md