形式语义学引论 操作语义学

1.引言(Introduction) 程序设计语言的实施者是按照语言的语义在具体的计算机系统中编制语言的解释程序或者编译程序的。但反过来看,语言在任何计算机系统中的任何一种实施一旦完成,那末对这个计算机系统而言,语言的含义也就完全确定了;也就是说,语言的一种实施可看作是语言语义的一种定义。用语言的实施作为语言的语义定义,也就是将语言成分所对应的计算机系统的操作作为语言成分的语义,故这种语义称作操作语义。当然语言的语义应该是标准的,不应依附于一个特定的计算机系统,一种具体的实施。因此操作语义学中使用抽象的机器和抽象的解释程序来定义语言的语义。