- A machine which can be completely described by a finite set of defined states. Such a machine must be in one of these states at any given moment, and there is a set of conditions which determine when it moves from one state to another. Also, a design model which can be so described. Used, for instance, to design specialized digital systems. Also called finite-state machine.