Redirecting to Pushdown automaton