#Automata