15第四章LL分析方法.pptVIP

第四章 LL分析方法 任课教师 王养廷 主要内容 LL文法复习 LL分析表 LL中的if-then-else问题 语义分析 标识符内部表示 1 LL文法 LL(k)文法含义 L：自左至右扫描 L：使用最左推导 k：向前看k个字符 LL(1)文法是LL(k)文法特例 LL(1)文法属于自顶向下文法 LL(1)与递归下降方法区别 递归下降方法对应每个非终结符产生子程序，而LL(1)方法产生分析表 递归下降方法能判断每个生成式的结束，而LL(1)则不能 递归下降方法不、使用符号栈，而LL(1)使用符号栈 1 LL文法 LL(1)文法定义 对任意的非终极符号A的任意两个生成式A→ α和A→ β，都要满足Predict(A→ α) ∩Predict(A→ β)= Φ，满足者以条件的文法称为LL(1)文法 LL(1)主要工作 求每个生成式的Predict集 构造LL(1)分析表 设计LL(1)驱动程序 2 微小语言实例 微小语言文法定义 program →begin statmant List end statmant list →statmantstatmant tail statmant tail →statmantstatmant tail statmant tail → λ statmant → id := expression statmant →read(id list); statmant →write(expr list); id list →id id tail id tail →, id id tail id tail → λ expr list →expression expr tail expr tail →expression expr tail expr tail → λ expression →primary primary tail primary tail →add opprimary primary tail primary tail → λ primary tail → (expresion) primary tail → id primary tail → num add op →+ add op →- 2 微小语言实例 微小语言结构 微小语言程序示例 begin a:= bb –3.14 + a; end 讲解示例与结构之间的关系 2 微小语言实例 first集（非终极符号） 2 微小语言实例 讲解前四个非终极符的计算过程 program statmant list statmant statmant tail 2 微小语言实例 follow集 2 微小语言实例 讲解前四个非终极符的计算过程 program statmant list statmant statmant tail 2 微小语言实例 predict集（部分） 2 微小语言实例 讲解前四个非终极符的计算过程 program →begin statmant List end statmant list →statmantstatmant tail statmant tail →statmantstatmant tail statmant tail → λ 3 LL分析表 LL分析表 生成式选择矩阵 使用数据表实现生成式的选择 行头是非终极符号 列头是终极符号 内容是生成式（编号），空白为错误 分析表定义 T: VT X VN →P∪{Error} T(A,t)= A→ α ,当t∈Predict(A→ α) T(A,t)=Error, 否则 3 LL分析表 3 LL分析表 对照定义说明分析表含义 对照Predict集说明生成过程 4 驱动程序 驱动器图示 P85 算法 初始化：Stack:=empty; push(S); 读下一个字符：Read(a) 若当前格局为(empty,#)，则成功结束 设当前格局为(X... , a...)则 若X ∈ VT X=a ,则{pop(1);read(a);goto 3} 若X ∈ VT X≠a，则Error 若X ∈ VN 则 if T(X,a)=X → Y1 Y2 ... Yn then{pop(1);push(Y1 Y2 ... Yn);goto 3} else error 5 if-then-else问题 else悬空问题 文法的二义性 表现在一个单元内有两个生成式 P87 增加endif后的结果