A Finite State Machine (FSM) is an abstract model that exists in one of a finite number of States. It transitions between these states in response to Inputs, elegantly mapping out sequential logic and behavior. See also Computation Automata Algorithm