Redirecting to Finite & Deterministic Discrete Event System Specification