Deterministic finite state machine