第2章 PL0编译程序(PPT中25页之后先不看).ppt

PL/0语言的语法图表示 分程序语法描述图 PL/0语言的EBNF表示 构成EBNF（扩展的巴科斯范式）的元素— 非终结符，终结符，开始符，规则 EBNF 的元符号： 用左右尖括号括起来的内容为非终结符∷= 读做‘定义为’ ∷=的左部由右部定义 → 读做‘定义为’ → 的左部由右部定义 | 读做‘或’ 表示右部候选内容 { } 表示花括号内的内容可重复任意次或限定次数 [ ] 表示方括号内的内容为任选项( ) 表示圆括号内的内容优先 EBNF表示的实例 例：用EBNF描述整数的定义 ：整数∷=[+|-]数字{数字}数字∷=0|1|2|3|4|5|6|7|8|9 或 整数∷=[+|-]非零数字{数字}|0非零数字∷=1|2|3|4|5|6|7|8|9 数字∷=0|非零数字 PL/0语言的定义 （1）程序? 分程序. （2） 分程序 ? [常量说明部分] [变量说明部分] 〈复合语句〉 （3） 常量说明部分 ?CONST常量定义{，〈常量定义〉}; （4） 常量定义 ? 〈标识符〉=〈无符号整数〉 （5）变量说明部分 ?VAR标识符{，〈标识符〉}; （6）标识符 ?〈字母〉{〈字母〉|〈数字〉} （7）〈语句〉 ?〈赋值语句〉|〈条件语句〉 |〈当型循环语句〉| 重复语句 |〈读语句〉|〈写语句〉|〈复合语句〉|〈空〉|FOR语句 （8） 〈复合语句〉 ? BEGIN 〈语句〉{； 〈语句〉}END PL/0语言的定义 （9） 赋值语句 ?〈标识符〉：=〈表达式〉 （10） 条件语句 ?IF条件THEN语句[ELSE语句] （11） 条件 ?〈表达式〉〈关系运算符〉〈表达式〉|NOT〈表达式〉 （12） 当型循环语句 ? WHILE条件DO语句 （13） 重复语句? REPEAT语句{；语句} UNTIL条件 （14） 读语句 ?READ ‘(’ 标识符{，〈标识符〉} ‘)’ ; (15) 写语句 ?WRITE ‘(’ 表达式{，〈表达式〉} ‘)’ ; （15）* FOR语句 ?FOR〈标识符〉：=〈表达式〉TO 〈表达式〉 DO 语句〉 PL/0语言的定义 （16）表达式 ?[+|-]〈项〉{〈加法运算符〉〈项〉} （17）项 ?〈因子〉{〈乘法运算符〉〈因子〉} （18）因子?〈标识符〉|〈无符号整数〉|‘(’ 表达式‘)’ （19）加法运算符 ? +|- （20）乘法运算符 ? *|/ （21）关系运算符? =|||=||= （22）〈字母〉 ?a|b|…|x|y|z (23) 数字 ?0|1…|8|9 Var fact，x; begin read(x); write(x); if x0 then begin fact:=1 repeat fact:=fact*x; x:=x-1 until x=0 end; write(fact) end. 词法分析程序的设计---使用状态转换图实现 PL/0编译程序语法分析的设计与实现 自顶向下的语法分析 递归子程序法 自顶向下的语法分析 VAR A; BEGIN READ(A) END. 程序 分程序 . 变量说明部分 语句 VAR 标识符 ； 复合语句 A BEGIN 语句 END 读语句 READ （ 标识符 ） A 递归子程序法 递归子程序法：对应每个非终结符语法单元，，编一个独立的处理过程（或子程序）。语法分析从读入第一个单词开始，由非终结符程序（即开始符）出发，沿语法描述图箭头所指出的方向进行分析。当遇到非终结符时，则调用相应的处理过程，从语法描述图看，也就进入了一个语法单元，再沿当前所进入的语法单元所指箭头方向继续进行分析。当遇到描述图中是终结符时，则判断当前读入的单词是否与图中的终结符相匹配，若匹配，再读取下一个单词继续分析。遇到分支点时，将当前的单词与分支点上多个终结符逐个相比较，若都不匹配时可能是进入下一个非终结符语法单位或是出错。 例：如何用递归子程序法实现表达式的语法分析 因子的语法图 因子 表达式的EBNF 〈表达式〉∷=[