is the “next state” transition function (which is total ). Intuitively, is a function that tells which state to move to in response to an input, i.e., if M is in state q and sees input a, it moves to state .

is the start state.

is the set of accept or final states.