A minimal finite state machine with a straightforward syntax.