第四章语法分析——自上而下分析.pptVIP

第四章 语法分析——自上而下分析 4.1 自顶向下分析的一般过程和问题 4.2 LL(1)文法及其分析程序 ? FIRST和FOLLOW集定义和计? ?????? 算 ? LL(1) 文法定义 ? LL(1)分析程序实现 4.3 非LL(1)文法的改造 句型、句子、语言的定义 句型 有文法G，若S x，则称x是文法G的句型。 句子 有文法G，若S x，且x∈VT*，则称x是文法G的句子。 例：G： S→0S1， S→01 S ?0S1 ?00S11 ?000S111 上下文无关文法的句型的推导 最左（最右）推导：在推导的任何一步α?β，其中α、β是句型，都是对α中的最左（右）非终结符进行替换 最右推导被称为规范推导。 由规范推导所得的句型称为规范句型 句型的分析 句型分析就是识别一个符号串是否为某文法的句型，是某个推导的构造过程。 在语言的编译实现中，把完成句型分析的程序称为分析程序或识别程序。分析算法又称识别算法。 从左到右的分析算法，即总是从左到右地识别输入符号串，首先识别符号串中的最左符号，进而依次识别右边的一个符号。 句型的分析 分析算法分类： 自上而下分析法：从文法的开始符号出发，反复使用各种产生式，寻找与输入符号匹配的最左推导。 自下而上分析法：从输入符号串开始，逐步进行归约（最右推导的逆过程），直至归约到文法的开始符号。 PL/0语言文法的EBNF表示 PL/0语言文法的EBNF表示〈程序〉∷=〈分程序〉.〈分程序〉∷=[〈常量说明部分〉][〈变量说明部分〉][〈过程说明部分〉]〈语句〉〈常量说明部分〉∷=CONST〈常量定义部分〉{，〈常量定义〉}；〈无符号整数〉∷=〈数字〉{〈数字〉}〈变量说明部分〉∷=VAR〈标识符〉{，〈标识符〉}；〈标识符〉∷=〈字母〉{〈字母〉|〈数字〉}〈过程说明部分〉∷=〈过程首部〉〈分程序〉{；〈过程说明部分〉}；〈过程首部〉∷=PROCEDURE 〈标识符〉；〈语句〉∷=〈赋值语句〉|〈条件语句〉|〈当型循环语句〉|〈过程调用语句〉|〈读语句〉|〈写语句〉|〈复合语句〉|〈空〉〈赋值语句〉∷=〈标识符〉：=〈表达式〉〈复合语句〉∷=BEGIN 〈语句〉{；〈语句〉} END〈条件〉∷=〈表达式〉〈关系运算符〉〈表达式〉|ODD〈表达式〉 自顶向下的语法分析 VAR A; BEGIN READ(A) END. 程序 分程序 . 变量说明部分 语句 VAR 标识符 ； 复合语句 A BEGIN 语句 END 读语句 READ （ 标识符 ） A 自上而下语法分析的一般过程 例：文法G：S → cAd A → ab A → a识别输入串w=cabd是否该文法的句子 从文法的开始符号出发，反复使用各种产生式，寻找与输入符号匹配的最左推导。 文法G：S → cAd A → ab |a 识别输入串w=cad 试探：推导过程：S ? cAd ? cabd 自下而上语法分析 例：文法G：S → cAd A → a A → ab识别输入串w=cabd是否该文法的句子 句型分析的一般问题 1）如何选择使用哪个产生式进行推导？ 假定要被代换的最左非终结符号是V，且有n条规则：V→A1|A2|…|An，那么如何确定用哪个右部去替代V？ 2）如何识别可归约的串？ 在自下而上的分析方法中，在分析程序工作的每一步，都是从当前串中选择一个子串，将它归约到某个非终结符号，该子串称为“可归约串” 〈语句〉∷=〈赋值语句〉|〈条件语句〉|〈当型循环语句〉|〈过程调用语句〉|〈读语句〉|〈写语句〉|〈复合语句〉|〈空〉 〈语句〉∷=〈ident...〉|〈if...〉|〈while... 〉|〈call...〉|〈read...〉|〈write...〉|〈begin...〉|〈空〉 自上而下语法分析的问题 G[S]: S→Sa