常见例句双语例句Operational semantics and denotational semantics are two type of formal semantics.其中操作语义学和指称语义学是形式语义学的两大类别。 返回 formal denotational semantics