Deterministic Finite State Machine