第二章pl0编译程序的实现.pptVIP

第2章 PL/0编译程序的实现 本章要点 掌握语言的形式化描述：语法描述图与巴科斯范式EBNF。 以PL/0为例学习编译程序实现的基本步骤和相关技术，熟悉并理解编译程序的基本原理和概念。 对于一段给定的程序，给出其形式化描述 术语 元语言(metalanguage)：用以描述另一种语言的语法或语义的形式化的语言。 2.1 PL/0语言概述 PL/0语言：PASCAL语言的子集 数据类型只有整型。 标识符的有效长度是10，以字母开始的字母数字串。 数值最多为14位。 过程无参数，可嵌套定义（最多三层），可递归调用。 变量的作用域同PASCAL，常量为全局的，无标号。 PL/0非形式化描述 语句类型： 赋值语句，read,write,call, if...then...,while...do..., 复合语句：begin... end， 说明语句：const...,var...,procedure… 13个保留字：if, then, while, do, read, write, call, begin, end, const, var, procedure, odd 2.1.1 PL/0语言的语法描述图 程序语法描述图 程序 分程序语法描述图 分程序（过程）语法描述图 语句语法描述图 语句语法描述图 条件语法描述图 表达式语法描述图 项语法描述图 因子语法描述图 2.1.2 PL/0语言文法的EBNF表示 BNF(BACKUS-NAUR FORM)是根据美国的John W.Backus与丹麦的Peter Naur来命名的，它从语法上描述程序设计语言的元语言(metalanguage)。 采用BNF就可说明哪些符号序列是对于某给定语言在语法上有效的程序。 EBNF—扩展的巴科斯范式 (Extended BACKUS-NAUR FORM) PL/0语言文法的EBNF表示 表示的符号说明： 语法单位，语法成分为非终结符 ::= 语法定义，左部由右部定义 | ‘或’，多个右部定义 { } 花括号内的语法成分可重复多次 [ ] 方括号内的语法成分为任选项 ( ) 圆括号内的成分为优先选项 EBNF 巴科斯范式 程序::=分程序. 分程序::=[常量说明部分] [变量说明部分][过程说明部分]语句 常量说明部分::= CONST 常量定义{，常量定义 } 常量定义::=标识符=无符号整数 无符号整数::=整数{整数} EBNF 巴科斯范式 变量说明部分::=VAR标识符{，标识符} 标识符::=字母{字母|数字} 过程说明部分::=过程首部分程序 {，过程说明部分} 过程首部::=PROCEDURE 标识符； EBNF 巴科斯范式 语句::=赋值语句|条件语句| 当型循环语句|过程调用语句|读语句| 写语句| 复合语句|空语句 赋值语句::=标识符:=表达式 复合语句::=BEGIN语句{；语句}END 条件::=ODD表达式| 表达式关系运算符表达式 EBNF 巴科斯范式 表达式::=[+|-]项{加法运算符项} 项::=因子{无符号整数因子} 因子::= 标识符乘法运算符|‘(’表达式‘)’ 加法运算符::=+|- 乘法运算符::= *|/ 关系运算符::= =|#||=||= EBNF 巴科斯范式 条件语句::=IF 条件 THEN 语句 过程调用语句::=CALL 标识符 当型循环语句::=WHILE条件DO语句 读语句::=READ(标识符{,标识符}) 写语句::=WRITE(表达式{,表达式}) 字母::=a|b|c|……|X|Y|Z 数字::=0|1|2|3|4|5|6|7|8|9 PL/0编译程序 PL/0源程序 PL/0程序示例 CONST A=10; （* 常量说明部分 *）  VAR B,C; （* 变量说明部分 *） PROCEDURE P; VAR D; PROCEDURE Q; VAR X; BEGIN READ(X); D:=X; WHILE X#0 DO CALL P; END; BEGIN WRITE(D); CALL Q;