常見(jiàn)例句雙語(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