基本解釋[語(yǔ)言學(xué)]形式表示語(yǔ)義[計(jì)算機(jī)科學(xué)技術(shù)]形式標(biāo)志語(yǔ)意英漢例句雙語(yǔ)例句Operational semantics and denotational semantics are two type of formal semantics.其中操作語(yǔ)義學(xué)和指稱語(yǔ)義學(xué)是形式語(yǔ)義學(xué)的兩大類別。formal denotational semantics更多例句詞組短語(yǔ)短語(yǔ)formal chemical structure denotational semantics 形式表示語(yǔ)義formal denotational semantics更多詞組專業(yè)釋義語(yǔ)言學(xué)形式表示語(yǔ)義計(jì)算機(jī)科學(xué)技術(shù)形式標(biāo)志語(yǔ)意