finite-state machine

mathematical model of computation; abstract machine that can be in exactly one of a finite number of states at any given time