Redirecting to Deterministic finite-state machine