基本解釋

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

英漢例句

雙語例句

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

• formal denotational semantics更多例句

詞組短語

短語

• formal chemical structure denotational semantics 形式表示語義

• formal denotational semantics更多詞組

專業(yè)釋義

語言學(xué)

• 形式表示語義

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

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