A function of the current state and input giving the next state of a finite state machine or Turing machine.