A state machine is a model of computation, an abstract machine that can be in exactly one of a finite number of States at any given time. It transitions between these states upon receiving Events or inputs, defining the system's dynamic behavior and logic.
See also