程序设计语言与编译ppt课件_4.1 程序设计语言的定义.pptxVIP

第四章程序语言的设计;语言＝语法（规则）＋语义（规则）

语法：

用以构造程序及其成分（单词、语法单位）的规则集合。

语义：

用以规定语法正确的语法成分的含义的规则集合。;可以从生成（文法）和识别（语法图）的角度描述语法。

文法描述语法规则：生成角度

标识符→字母

标识符→标识符字母

标识符→标识符数字

字母→A|…|Z|a|…|z

数字→0|…|9;表达式（算术）

表达式→标识符

表达式→(表达式)

表达式→表达式运算符表达式

运算符→+|-|*|/

;语法图描述语法：识别角度

标识符：

表达式：

;FORTRAN采用自然语言描述语法；

ALGOL60首次用BNF对语法进行形式描述，为语言定义做出了重要贡献；

Pascal首次采用语法图来定义语言，给出了较为直观的语法结构。;文法和语法图是语言语法的等价表示。

文法从产生的观点来定义语言的语法，通用性好。

语法图以识别的观点定义语言的语法，更直观和清晰。

采用生成的方法还是采用识别的方法来描述语言的语法，

由语言的设计者确定。

;(1)表达语言设计者的意图和设计目标；

(2)指导语言的使用者编写正确的程序；

(3)指导语言的实现者识别所有语法单位。;语义（规则）

定义语言的单词符号和语法单位的作用和意义的规则组合。

例：if(ab)thenmax:=aelsemax:=b

二选一的控制机制;文法和语法图已成为语法描述的典型工具，但语义描述至今尚无人们普遍接受的典型描述工具。

许多语言仍采用自然语言描述语义。

（本章的）语言设计，采用自然语言来描述语义。

（下篇的）语言实现，涉及到的语义，将以操作语义学的方法来描述。

操作语义学：以抽象机的行为来描述语言的语法单位的作用和意义。

;由存储器，控制器，处理器，指令指针ip组成。

存储器分为代码区（代码存储器）和数据区（数据存储器）。

代码区：存放程序指令。

数据区：存放信息和数据。

;GAM一旦启动，由专门的装入程序将??运行的程序装入代码存储器，

并设置ip指向该程序的第一条指令，

然后依次完成下述工作：

(1)执行ip所指向的指令（可能直接修改ip）；

(2)若所执行的指令未修改ip，则ip后移，指向下一条指令；

(3)若所执行的指令修改了ip，则ip指向对应位置的指令；

(3)若ip指向终止指令，则程序终止执行，否则回到(1)。

;假设GAM对程序设计语言的各类运算符都有相应的指令与之对应。

基于GAM的语义，以GAM的操作行为可以定义语言的语义。