True
A state machine is indeed a model of computation that consists of a sequence of states, transitions between those states, and events that trigger those transitions. The output can be determined based on the current state and the input conditions, often synchronized with a clock in digital systems.