finite-state machine noun1 •A formalism for describing computation, consisting of a finite set of states and a transition function describing when to move from one state to another. formsfinite state machines · finite-state machines
