What does the transition function do in the structural operational semantics?

Describe the machine's behavior - for each state, either:

• Gives the next state by performing a step of simplification on the term.

• Declares that the machine has halted.