Transition function

A Partial function from machine configurations (term, environment, stack, etc.) to successor configurations, defining each atomic step of execution until a final state is reached. In Lambda calculus with Small-step/Structural operational semantics (SOS), the transition function usually relates a term with a simplification of that term, and is undefined for Normal forms.