State Machine

**Semantic type:** Intellectual Product

**Definition:** A model of computation consisting of a set of states, a set of input events, a set of output events, and a state transition function.