Big-step semantics, also known as natural semantics, is a formalism used in programming language theory to describe how the final result of a program or expression is computed in a single, large step. It contrasts with small-step semantics by focusing on the end result rather than the intermediate states of computation.