Template talk:Automata theory