Talk:Finite & Deterministic Discrete Event System Specification