• 1. operational semantics: 操作语义学 | 运算语义 | 语义学
• 2. Formal Operational Semantics: 形式化操作语义
• 3. Label Operational Semantics: 演算的标签操作语义

更多释义

• 1.A BLA definition provides operational semantics for its constituent parts.
  bla定义为其构成部分提供了操作语义。
  dict.yoduao.com
• 2.Operational semantics and algebraic laws are very useful in practice.
  形式化语义和代数法则在实践应用是很有用的。
  dict.yoduao.com
• 3.There may also be operational semantics to consider when introducing a change.
  在引入更改时，还可能需要考虑操作语义。
  dict.yoduao.com

©2026 网易公司