Redirecting to Deterministic automaton