基本解释[语言学]形式表示语义[计算机科学技术]形式标志语意英汉例句双语例句Operational semantics and denotational semantics are two type of formal semantics.其中操作语义学和指称语义学是形式语义学的两大类别。formal denotational semantics更多例句词组短语短语formal chemical structure denotational semantics 形式表示语义formal denotational semantics更多词组专业释义语言学形式表示语义计算机科学技术形式标志语意