Automata Background