Not OP, but in functional languages, state machines are often simply a function (State, Input) -> State