engl.: operational semantics
Eine Semantik, die erklärt, wie eine Funktion oder ein Programm auszuwerten ist, nennen wir operationell oder Auswertungssemantik.