《编译原理实践及应用》第4章自上而下语法分析.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * 根据语法结构来编写函数。语法结构用文法规则给定。 * 不存在直接左递归，但S=Qc=Rbc=Sabc, 因此该文法是一个间接左递归 * * * * * * * * * * * * * * * * 这是下一节课的内容 ————LL(1)文法。 * 文法G1的特点： 每个产生式的右部都由终结符号开始 如果两个产生式的左部相同，则它们的右部由不同的终结符号开始 显然，G1在推导过程中可以根据当前的输入符号唯一地选择哪个产生式继续推导 * 文法G2的特点： 每个产生式的右部不全是由终结符号开始 如果两个产生式的左部相同，则它们的右部由不同的终结符号或非终结符号开始 文法中没有ε产生式 虽然不象G1那样直观，G2在推导过程中仍然可以根据当前的输入符号唯一地选择哪个产生式继续推导 * 并不是在任何情况下，A面对输入符号a， a不属于A的任何侯选式，但A中含ε产生式时都可以使用ε自动匹配。 * 若a是允许在文法的某个句型中跟在A后面的终结符时，才可能允许A自动匹配，否则是错误。 * * * * * * * * * 并不是在任何情况下，A面对输入符号a， a不属于A的任何侯选式，但A中含ε产生式时都可以使用ε自动匹配。 * 补充LL(1)的含义 * 分析表M: 是一个从VN?(VT?{#})到产生式的映射。在分析时遇到A和a时，应该选择M[A,a]中存放的产生式。如果M[A,a]为空，表示出现语法错误。 分析表格式: i + * ( ) # E ?TE ?TE E ?+TE ? ? ?? T ?FT ?FT T ? ? ?*FT ? ? ?? F ?i ?(E) 第1列为非终结符 第1行为终结符+’#’ 每个元素为产生式或空 E ?TEE ? +TE |εT ? FTT ? *FT |εF ?(E) |i 总控程序: 将’#’压入堆栈中，将开始符号S压入堆栈中 读取第一个输入符号到a； 循环执行下述操作： 栈顶符号弹出放入X中； 如果X为终结符号： 如果X == a != ‘#’，表明成功匹配a符号; 读取下一个符号到a，否则出错； 如果X == ‘#’ 如果X == a ，分析结束，接受句子。 如果 X!= a ，出错处理。 如果X为非终结符号, 则查分析表M: 如果M[X,a]为空，出错处理。 如果M[X,a]=‘X1 X2…Xn ’, 则: 将右部Xn …X2 X1反序压入堆栈中。 预测分析过程 下面用预测分析方法对输入串i+i*i # 进行分析，给出栈的变化过程如下： 1 #E i+i*i# E?TE? 2 #E?T i+i*i# T?FT ? 3 #E?T?F i+i*i# F?i 4 #E?T?i i+i*i# i匹配 5 #E?T? +i*i# T??ε 6 #E? +i*i# E??+TE? 7 #E?T+ +i*i# +匹配 步骤 分析栈 剩余输入串 所用产生式 8 #E?T i*i# T?FT 9 #E?T?F i*i# F ? i 10 #E?T?i i*i# i匹配 11 #E?T? *i# T? ? *FT? 12 #E?T?F* *i# *匹配 13 #E?T?F i# F ? i 14 #E?T?i i# i匹配 15 #E?T? # T? ? ε 16 #E? # E? ? ε 17 # # 接受 构造预测分析表 预测分析过程的总控程序是固定的。对于某个文法，分析表是分析过程的核心。 表中M[A,a]= ?A→X1X2…Xn ?表示对应于X1X2…Xn字的首终结符可以是a。就是说X1X2…Xn=aw。可以通过这个方式来确定分析表中的值。(即：求首终结符) * 预测分析表的构造算法 对文法的每个文法符号X构造First(X) 对于每一产生式 A→α, 对于终结符a∈First(α),将A→α填入 M[A,a]； 如果ε∈First(A→α)，则构造Follow(A)，对任何元素 b∈Follow(A)，将A→α填入M[A,b]； 将所有无定义的 M[A,a] 标上错误标志。 如果文法是LL(1)文法，其预测分析表中没有多重定义的元素，可以进行确定的分析。 例：求对应于下述文法的预测分析表： 1.首先求各个候选式的first集 E ?TEE ? +TE |εT ? FTT ? *FT |ε F ?(E) |i First(E?TE) = { ( ，i } First(E?+TE’) = {+} First(E ? ?)= {ε} First(T ?FT) = { ( ，i }First(T ?*FT) = {*} First(T ? ε) = {