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