2文法和语言.ppt

2.5 PL/0编译程序 PL/0语言的语句类型： 赋值语句 语句串begin…end if语句 while语句 call语句（过程调用） read语句(输入) write语句(输出) PL/0语言的数据类型：整型 2.5 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; END; BEGIN CALL P; END. Q的过程体 p的过程体 主程序体 主程序说明 注意：大小写不区分 PL/0语言文法的EBNF表示 EBNF 引入的符号(元符号)： 用左右尖括号括起来的语法成分为非终结符 ∷= (→) ‘定义为’ ∷=(→) 的左部由右部定义 | ‘或’ { } 表示花括号内的语法成分可重复任意次或限定次数 [ ] 表示方括号内的语法成分为任选项 ( ) 表示圆括号内的成分优先 PL/0语言文法的EBNF表示为： 〈程序〉∷=〈分程序〉． 〈分程序〉∷=[〈常量说明部分〉][〈变量说明部分〉][〈过程说明部分〉]〈语句〉 〈常量说明部分〉∷=CONST〈常量定义〉 {，〈常量定义〉}； 〈常量定义〉∷=〈标识符〉=〈无符号整数〉 〈无符号整数〉∷=〈数字〉{〈数字〉} 〈变量说明部分〉∷=VAR〈标识符〉{，〈标识符〉}； 〈标识符〉∷=〈字母〉{〈字母〉|〈数字〉} 〈过程说明部分〉∷=〈过程首部〉〈分程序〉{；〈过程说说明部} ； 〈过程首部〉∷=PROCEDURE〈标识符〉； 〈语句〉∷=〈赋值语句〉|〈条件语句〉|〈当型循环语句〉| 〈过程调用语句〉|〈读语句〉|〈写语句〉|〈复合语句〉|〈空〉 〈赋值语句〉∷=〈标识符〉∶=〈表达式〉 PL/0语言文法的EBNF表示为： 〈复合语句〉∷=BEGIN〈语句〉{；〈语句〉}END〈条件〉∷=〈表达式〉〈关系运算符〉〈表达式〉|ODD〈表达式〉〈表达式〉∷=[+|-]〈项〉{〈加法运算符〉〈项〉} 〈项〉∷=〈因子〉{〈乘法运算符〉〈因子〉}〈因子〉∷=〈标识符〉|〈无符号整数〉|(〈表达式〉)〈加法运算符〉∷=+|-〈乘法运算符〉∷=*|/〈关系运算符〉∷=#|=|＜|＜=|＞|＞=〈条件语句〉∷=IF〈条件〉THEN〈语句〉〈过程调用语句〉∷=CALL〈标识符〉〈当型循环语句〉∷=WHILE〈条件〉DO〈语句〉〈读语句〉∷=READ(〈标识符〉{，〈标识符〉})〈写语句〉∷=WRITE(〈表达式〉{，〈表达式〉})〈字母〉∷=a|b|…|X|Y|Z〈数字〉∷=0|1|2|…|8|9 EBNF表示：形式化强，易机器识别。  PL/0语言的语法图描述 内的中文文字表示非终结符 或 内的英文文字或符号表示终结符 用语法图描述语法规则的优点是直观、易读。 终结符：是构成语言文法的单词，是语法成分的最小单位，不可由其它文法符号定义 非终结符也是一个语法成分，非终结符可由其它文法符号定义 PL/0语言的语法图描述 图 2.1(a) 程序语法描述图 〈程序〉∷=〈分程序〉． PL/0语言的语法图描述 图 2.1(b) 分程序语法描述图 〈分程序〉∷=[〈常量说明部分〉][〈变量说明部分〉][〈过程说明部分〉]〈语句〉 〈常量说明部分〉∷=CONST〈常量定义〉 {，〈常量定义〉} 〈变量说明部分〉∷=VAR〈标识符〉{，〈标识符〉}； 〈过程说明部分〉∷=〈过程首部〉〈分程序〉{；〈过程说说明部} ； ； PL/0语言的语法图描述 图2.1(c) 语句语法描述图 〈语句〉∷=〈赋值语句〉|〈条件语句〉|〈当型循环语句〉| 〈过程调用语句〉|〈读语句〉|〈写语句〉|〈复合语句〉|〈空〉 PL/0语言的语法图描述 图 2.1(d) 条件语法描述图 〈条件〉∷=〈表达式〉〈关系运算符〉〈表达式〉|ODD〈表达式〉 PL/0语言的语法图描述 图 2.1(e) 表达式语法描述图 〈表达式〉∷=[+|-]〈项〉{〈加