补充资料：指称语义

指称语义
denotational semantics

zhieheng yUyl指称语义(denotational ser口antics)把语言成分映射为数学对象，然后用定义在对象上的运算所表达出的语言的语义。 指称语义的主要思想是英国牛津大学C.Stra-chey于1%4年前后提出的。美国D.致乃}t创建的论域理论为指称语义学奠定了数学基础。论域理论是讨论各种语言成分指称物的数学结构，以及提供在这种数学结构上定义语言成分的语义和推导语言D匡。飞+。2〕(S)=D匡。1卫(S)+D迁。2习(S) D江el X eZ卫(S)=D匡el丑(S)XD江eZ刀(S) 第一个公式表示，无论程序处于何种状态S，常量n的值不变，为数学中相应的量n。为了区分元语言和程序设计语言，指称语义定义中将程序设计语言中的成分用江及卫括起来。 第二个公式表示，变量xl在状态5时的值为数值向量S的第i个分量尽。 第三、四个公式表示，表达式(。1+。2)和。 lx。2在状态S时的值分别为子表达式。1和仑2在状态S时的值的和与积。 表达式的抽象语法规定如何用最简单的表达式常量和变量构成其他表达式。而表达式的语义定义也是先给出最简单的表达式的语义，然后按照语法的构造过程去定义其他表达式的语义，使得复合成分的语义由各成分语义复合而成。这种定义语义的方法叫作结构式方法，或叫语法引导方法。指称语义学就是一种结构式形式语义学。执行程序设计语言中的语句导致程序状态的改变(即程序变量取值的改变)，故语句的指称物应是State至State的映象:State~State。定义语句的语义就相当于定义映象D: D:StS~(State~State) Sts表示所有语句的集合。如表示赋值语句(xi:一，的语义“p改变状态S为s…月江·’‘S，。s{母旺一‘·，表示将S中的第i个分量(即x，的值)改变为表达式e在状态S时所取的值(即D匡。卫(S))。 D匡51; 52卫(S)=D匡52丑(D匡S，卫(S)) 这表示顺序执行语句Sl和52，即先执行Sl，并将执行Sl后形成的新状态，作为当前状态再执行52。 实际的程序设计语言非常复杂，所定义的语义映象比之上文列举的远为复杂。为了允许同名变量在不同过程体中表示的值不同，指称语义中引进环境的概念;为了刻画程序控制的转移又引进后续的概念，这些概念在描述和简化语义定义中有重要的作用。

说明：补充资料仅用于学习参考，请勿用于其它任何用途。