Operational semantics is a formal method used to define the behavior of programming languages through the execution of their statements on an abstract machine. It provides a step-by-step procedure that describes how the state of a computation progresses with each operation, allowing for precise reasoning about program behavior.