A abstract machine that can be in a finite number of states.