Deterministic finite state machine

Summary