大连海事大学《编译原理》期末总复习题库.pptVIP

FIRST集的定义 符号串x 推导 终结头符号集 FIRST(x)= {a |x a… } a∈VT x ε ε∈FIRST(x) 文法避免回溯的条件 多选规则：U::=x1|x2|…|xn 文法避免回溯的条件: 不含空规则 FIRST(xi ) ∩ FIRST( xj ) = Φ (i≠j) FOLLOW(U)的定义 非终结符号U的后继终结符号集。 FOLLOW(U)= {a |Z …Ua…} a∈VT 识别符号 特别地： Z …U # ∈ FOLLOW(U) 输入结束符 求FOLLOW(U)的算法步骤1) 1) #∈FOLLOW(Z); 识别符号 求FOLLOW(U)的算法步骤2) 2) A::=αUβ FIRST(β)-{ε} FOLLOW(U) 文法满足避免回溯的条件 U::=x1|x2|…|xn 1)FIRST(xi)∩FIRST(xj)=Φ (i≠j) 2)若xj ε FIRST(xi)∩FOLLOW(U)=Φ (i≠j) 非空规则 消除回溯的简单方法 U::=xi|xj FIRST(xi)∩FIRST(xj) ≠ Φ ={a} U::=xi|xj 改写 U::=aW|aV 提取a U::=a(W|V) 引入X U::=aX X::=W|V LL(1)分析表M的结构 行标题 非终结符号U 列标题 终结符号a 结束符# M[U,a] 规则 当U面临输入符号a时应选择的规则 出错标志 构造LL(1)分析表M的算法 (3)其它均置ERROR 规则U::=x (1)a∈FIRST(x) U::=x M[U,a] (2)ε∈FIRST(x) U::=x M[U,b] M[U,#] ∈ FOLLOW(U) 空 LL(1)分析方法基本思想 从左到右扫描源程序 从识别符号开始生成句子的最左推导 只要向前查看一个输入符号 便能确定当前应选择的规则 LL(1)方法 LL(1)分析方法的实现 LL(1)方法 LL(1)分析表M 符号栈S K: 符号栈S的栈顶指针 J: 输入串R的指针 实现步骤 (3)栈顶元素= (1) 栈顶元素 当前符号 匹配 k:=k-1 j:=j+1 (2) 栈顶元素S[k]∈VN 当前输入符号为R[j] 查M表 M[S[k],R[j]]元素 S[k]::=x1x2…xn x1x2…xn 代替 S[k] 入栈顺序 由右向左 输入符号= # 成功 S栈 … S[k] xn … x2 x1 栈顶元素出栈 输入下一符号 出栈 P78#4 A → aABe|ε B → Bb|b （1）FIRST(A)={a, ε} FIRST(B)={b} A → aABe A 为识别符号 FOLLOW(A)={b, #} A → aABe B → Bb FOLLOW(B)={b, e} P78#4(续) （2）不是LL(1)文法，文法中有直接左递归的规则： B → Bb|b A → aABe|ε B → Bb|b （3）消除直接左递归： 引进新的非终结符号B’ B → bB’ B’ → bB’ |ε 改写后的文法： A → aABe|ε B → bB’ B’ → bB’ |ε P78#4(续) （4）构造LL(1)分析表 A → aABe|ε B → bB’ B’ → bB’ |ε a b e # A B B’ FOLLOW(A) ={b, #} FOLLOW(B’)= FOLLOW(B)={ e} FOLLOW(B)={e} A → aABe A→ ε A→ ε B → bB’ B’ → bB’ B’→ ε 对文法G[S]: S → a| ∧|(T) T → T,S|S （1）给出(a,(a,a))的最左推导； （2）该文法是LL(1)文法吗？为什么？ （3）改写成与之等价的LL(1)文法，构造LL(1)分析表。 （4）给出输入串(a,a)#的分析过程，并说明该串是否为G的句子。 (1)句子(a,(a,a))的最左推导： S ?(T) (T,S) ?(S,S) (a,S) ?(a,(T)) (a,(T,S)) ?(a,(S,S)) (a,(a,S)) ? (a,(a,a)) S → a| ∧|(T) T → T,S|S （2）改写文法： 消除直接左递归T → T,S|S引入新的非终结符号T’ T → ST’ T’ → ,ST’|ε 改写后的文法： S → a| ∧|(T) T → ST’ T’ → ,ST’|ε 消除间接左递归后： S → a| ∧|(T) T → a T’ | ∧T’|(T)T’ T’ → ,ST’|ε 消除间接左递归 （3）判断改写后的文法是否是LL(1)文法： 求FOLLOW(T’)=FOLLOW(T)={)} FILLOW(T’)∩First(,ST’)={)} ∩{,}=Φ