基本解释[计算机科学技术]结构化操作语义词组短语短语Dynamic structured operational semantics 动态结构化操作语义structured operational semantics更多词组专业释义计算机科学技术结构化操作语义