Redirecting to Automata theory