基本解釋

• [語(yǔ)言學(xué)]形式表示語(yǔ)義
• [計(jì)算機(jī)科學(xué)技術(shù)]形式標(biāo)志語(yǔ)意

英漢例句

雙語(yǔ)例句

• Operational semantics and denotational semantics are two type of formal semantics.
  其中操作語(yǔ)義學(xué)和指稱(chēng)語(yǔ)義學(xué)是形式語(yǔ)義學(xué)的兩大類(lèi)別。

• formal denotational semantics更多例句

詞組短語(yǔ)

短語(yǔ)

• formal chemical structure denotational semantics 形式表示語(yǔ)義

• formal denotational semantics更多詞組

專(zhuān)業(yè)釋義

語(yǔ)言學(xué)

• 形式表示語(yǔ)義

計(jì)算機(jī)科學(xué)技術(shù)

• 形式標(biāo)志語(yǔ)意