Machines
A state machine is a finite set of states that can transition to each other deterministically due to events. A statechart is an extension of state machines; mainly, they can have:
- Hierarchical (or nested) states
- Orthogonal (or parallel) states
- History states
- And more, as described in Statecharts: a Visual Formalism for Complex Systems.