第4章+自顶向下语法分析.pptVIP

;*;语法分析器的功能 语法错误类别 1) 程序的开始符，语句（表达式）的开始 符（后继符）错 ?? 2) 标识符（常量）错：该出现时未出现 ???? 3) 括号类错误：不匹配 ??4) 分隔符错：assignment;*;*;*;语法错误处理 要求：报告错误出现的位置 修复错误并继续检查后续部分 执行开销不应太大 处理策略： 1）紧急方式恢复； 2）短语级恢复； 3）出错产生式； 4）全局纠正；; 4.1 程序设计语言的语法描述 ; 【例4-2】Pascal语言几种语法单位的文法： 程序→PROGRAM id([id表]); 程序体. id表→id{,id} 程序体→说明BEGIN 语句{;语句}END 说明→标号说明常量说明类型说明变量说明过程函数说明; 赋值语句→［标号:］id:=表达式 REPEAT语句→［标号:］BEGIN 语句{;语句}END; “组词成句”，根据词法分析阶段识别出的单词进一步分析出组成 源程序的各类语法单位，如表达式、语句、过程、……乃至整个程序，并指出其中的语法错误。 问题的本质：识别一个符号串是否为某文法的一个句型。 即试图按文法的规则为符号串构造推导或语法树。 语法分析方法： 自顶向下的语法分析方法 自底向上的语法分析方法;;需解决的主要问题： 若同一个非终结符有多个产生式，则推导时究竟选用哪一个？ ;确定的自顶向下的语法分析方法： 若在推导时每次都能根据输入串当前所要匹配的符号选择唯一的 一个产生式往下推，则这种分析方法就称为确定的自顶向下的语法分 析方法。 显然，能否进行确定的自顶向下的语法分析是由文法决定的。; 不确定性：每一步推导不一定能根据当前输入的单词符号唯一地确定 选用的产生式。; 4.3 LL(1)文法 ;1. 同一非终结符的不同产生式能推出相同的首终结符 ;;;【例4-9】 G： S→Ab | a A→aA | a A→aA | a 代入 S→Ab | a S→(aA | a)b | a S→aAb | ab | a 提取a S→a (Ab | b | ε) 引入新S? S→aS? S?→Ab | b | ε 对A→aA | a 提取a A→a (A | ε) 引入 A? A→ aA? A?→A | ε; 一般公式： A→Aα1 | Aα2 | ……| Aαm | β1 | β2 | …… | βn A →β1A? | β2 A? | …… | βn A? A? →α1A? | α2A? | …… | αm A? | ε ;;1．不含ε产生式的文法;;结论：;;;求非终结符A的FOLLOW集算法;结论： 当文法中非终结符A含有ε产生式时，若满足以下条件，则当用A 的产生式进行推导时仍能唯一确定应选用的产生式： （1）A的非ε产生式的右部的FIRST集两两互不相交； （2）FOLLOW(A)也不与A的任一非ε产生式的右部的FIRST集相交。 另一种描述： 当文法中有A→α，A→β时，若α、β不能同时推出ε