Redirecting to Linear bounded automaton