Операциялық семантика

Операциялық семантика.  <ағыл. operational semantics>
Кейбір функцияларды есептеу тәсілінің берілуі-
мен анықталатын тіл семантикасы.