The state immediately following the current state, defined by the transition function of a finite state machine and the input.