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