短語詞組短語operational E semantics 運(yùn)算語義structural operational semantics 操作語義operational semantics model 操作語義模型data operational semantics 數(shù)據(jù)操作語義Formal Operational Semantics 形式化操作語義structured operational semantics 結(jié)搆化操作語義Dynamic structured operational semantics 動(dòng)態(tài)結(jié)搆化操作語義Label Operational Semantics 縯算的標(biāo)簽操作語義the operational semantics 操作語意 返回 operational semantics