短語(yǔ)詞組短語(yǔ)Dynamic structured operational semantics 動(dòng)態(tài)結(jié)構(gòu)化操作語(yǔ)義 返回 structured operational semantics