Операционная семантика

Операционная семантика описывает значение программы через правила вычисления. Правило связывает выражение и состояние машины с результатом или следующим состоянием.

В пошаговом описании вычисление представлено последовательностью переходов. Такое описание позволяет разбирать порядок выполнения и изменения состояния; выбор правил зависит от конкретного языка.