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