操作语义
_
operational semantics
operational semantics
пословный:
操作 | 语义 | ||
1) трудиться; выполнять тяжёлую физическую работу, заниматься физическим трудом
2) процесс работы; труд; работа; операция
3) тех. работа (машины, механизма); рабочий
|
семантика; смысловой, семантический
|