中国农业大学《编译原理》课件-第1-2章引论.pptVIP

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; END; BEGIN CALL P; END. Q的过程体 p的过程体 主程序体 程序 分程序 . 内的文字表示非终结符 或 内的文字或符号表示终结符 2.1.1 PL/0语言的语法描述图 语法描述图 下页 分程序 Const ident number = , ; Var ident procedure ident 分程序 ; 语句 , ; ; 语句 ident := call ident ; 表达式 . begin 语句 语句 end 条件 语句 if then 条件 语句 While do ( ) read ident ( ) write , , 表达式 条件 表达式 表达式 表达式 odd . = # = = + - 表达式 项 项 . + - ident number 表达式 因子 . ( ) * 因子 项 因子 / . 1、EBNF表示的符号说明 ：是非终结符 →：左部由右部定义 | ：表示‘或’ { }：表示为可以重复部分 [ ]：表示为任选项 ( )：表示成分优先 2.1.2 PL/0语言文法的EBNF表示 2、PL/0 语言文法的EBNF表示为： 程序→分程序● 分程序→[常量说明部分][变量说明部分][过程说明部分]语句 常量说明部分→CONST常量定义 {,常量定义} 常量定义→标识符=无符号整数 无符号整数→数字{数字} 变量说明部分→VAR标识符{,标识符} 标识符→字母{字母|数字} 过程说明部分→过程首部分程序{;过程说明部分} 过程首部→procedure标识符 语句→赋值语句|条件语句|当型循环语句|过程调用语句|读语句|写语句|复合语句|空 赋值语句→标识符：=表达式 复合语句→begin语句{；语句}end 条件→表达式关系运算符表达式|odd表达式 表达式→[+|—]项{加法运算符项} 项→因子{乘法运算符因子} 因子→标识符|无符号整数| ‘(’ 表达式‘)’ 加法运算符→ + | - 乘法运算符→ * | / 关系运算符→!= | | ≤| ≥| | = 条件语句→ If条件then语句 过程调用语句→ Call标识符 当型循环语句→While条件DO语句 读语句→Read’(’标识符{，标识符} ’)’ 写语句→Write’(’表达式{，表达式} ’)’ 字母→a|b|…| X|Y|Z 数字→0|1|2|…|8|9 3、PL/0编译程序是用PASCAL语言编写，可在任何配有PASCAL编译系统的计算机上运行。如下图： PL/0 Compiler 源文本 PASCAL Compiler PL/0 Compiler 目标文本 PL/0 源程序 PL/0 Compiler 目标文本 PL/0 目标程序 词法分析程序 语法语义分析程序 代码生成程序 表格管理程序 出错处理程序 PL/0源程序 目标程序 2.2 PL/0编译程序的结构 PL/0编译程序的总体设计 其编译过程采用一趟扫描方式 以语法、语义分析程序为核心 词法分析程序和代码生成程序都作为一个过程，当语法分析需要读单词时就调用词法分析程序，而当语法、语义分析正确，需要生成相应的目标代码时，则调用代码生成程序。 表格管理程序实现变量，常量和过程标识符的信息的登录与查找。 出错处理程序，对词法和语法、语义分析遇到的错误给出在源程序中出错的位置和与错误 性质有关的编号，并进行错误恢复。 2.3 PL/0编译程序的词法分析 识别的单词： 保留字或关键字：如：BEGIN、 END、 IF、 THEN等 运算符： 如：+、-、*、/、：=、#、=、=等 标识符： 用户定义的变量名、常数名、过程名 常数： 如：10、25、100等整数 界符： 如：‘,’、‘.’ 、‘;’ 、‘(’ 、‘)’等 §1.1 什么是编译程序