第4章语法分析-自顶向下的语法分析重点.ppt

对文法G中的每个产生式A→α，按下列规则确定LL(1)分析表中的元素M： 1)对FIRST(α)中的每个终结符a，置M[A,a]=“POP，PUSH(α′)” ，其中α′为α的倒置； 2)若ε∈FIRST(α)， 则对属于FOLLOW(A)的每个符号b(b为终结符或#)，置M[A,b]=“POP” ； 3)把M中的所有M[a,a]置为“POP，NEXTSYM”， a∈Vt ； 4)置M[#,#]=“ ACCEPT”; 5)把M中所有不按上述规则定义的元素均置为空或“ERROR”。 §4.4 LL(1)分析法 例:E→TE′，E′→+TE′，E′→ε，T→FT′，T′→*FT′，T′→ε，F→(E)|i，构造该文法的分析表。 对规则E→TE′ ：FIRST(TE’)= {(，i)}，那么在分析表的符号E所在的行、符号(和i所在的列对应的位置分别填入“POP,PUSH(E′T)”，见表4-1的E行。 对规则E′→+TE′：FIRST(+TE′)={+}，在符号E行符号+列对应的位置填入“POP,PUSH(E′T′+)” ，见表4-1的E′行。 对规则E′→ε：因为ε∈FIRST(α)，FOLLOW(E′)={)，#}，所以在符号E行符号)和#列对应的位置填入“POP”，见表4-1的E′行。 其它规则处理方法相同（略）。 对于一个文法，若按上述方法构造的分析表M不含多重定义，则称它是一个LL(1)文法。 §4.4 LL(1)分析法 分析表的简化 当压栈的最后一个符号是终结符时，那么下一步的分析动作肯定是这个终结符号出栈。 简化方法 如果压栈的最后一个符号是终结符，那么，这个终结符不入栈，并加入读下一个符号，这样，分析表中所有的终结符行都可以去掉。 删 除 §4.4 LL(1)分析法 对表4-1的分析表简化后的分析表如下表所示: 练习：已知文法G[S]: S::=(S)S|ε (1)该文法是LL(1)文法吗？为什么？ (2)请给出该文法的LL(1)分析表。 (3)若输入符号串是“()”，请给出其LL(1)语法分析过程。 解：(1) ∵显然，文法G是经压缩、无左递归文法。下面判断它是否有回溯。 由S::=(S)S|ε ，有： SELECT(S::= (S)S)∩SELECT(S::=ε) =FIRST((S)S)∩(FIRST(ε)∪FOLLOW(S)) ={(}∩{ε,),#} =φ ∴文法G是LL(1)文法。 §4.4 LL(1)分析法 (2) 文法G的LL(1)分析表 ( ) # S S::=(S)S S::=ε S::=ε 练习：已知文法G[S]: S::=(S)S|ε (1)该文法是LL(1)文法吗？为什么？ (2)请给出该文法的LL(1)分析表。 (3)若输入符号串是“()”，请给出其LL(1)语法分析过程。 §4.4 LL(1)分析法 文法G的LL(1)分析表 ( ) # S S::=(S)S S::=ε S::=ε ACCEPT # # 6 S::=ε # #S 5 匹配) )# #S) 4 S::=ε )# #S)S 3 匹配( ()# #S)S( 2 S::=(S)S ()# #S 1 产生式 余留输入串 分析栈 步骤 (3) 输入符号串是“()”的LL(1)语法分析过程: 编译系统原 理 电气与信息学院 王 艳 §4.1 自顶向下分析方法 §4.2 FIRST集合和FOLLOW集合 §4.3 递归下降分析 §4.4 LL(1)分析方法 第四章 语法分析-自顶向下分析 §4.1 自顶向下分析方法 语法分析器 语法树 §4.1 自顶向下分析方法 语法分析的任务： 检查源程序语法上是否正确，并生成相应的内部表示（如分析树）供下一阶段使用。 结果输出： 分析树：产生式序列 出错处理要求 尽快发现错误，准确定位， 可能时进行恢复处理，继续语法分析 §4.1 自顶向下分析方法 常用的语法分析方法： 无论那种分析方法，语法分析都是自左至右的读入字符 §4.1 自顶向下分析方法 自顶向下的分析方法就是从文法的开始符号出发，按最左推导方式向下推导，试图推导出要分析的输入串。即： 开始符号 输入符号串 + ? 自底向上的分析方法从输入符号串开始，按最左归约方式向上归约到文法的开始符号。即： 开始符号 输入符号串 归约 ← §4.1 自顶向下分析方法 上下文无关文法（2型文法） 编程语言的语法大都可用２型文法来描述 例4.1： E→TE′ E′→+