A state machine, per the academic definition, is any abstract machine that can be in exactly one of a finite number of states at a given time . A state machine should concern itself with the behavior of an isolated, discrete component or piece of logic. For example, a Promise is a state machine.