编译原理复习题及答案 一、选择题 1. 一个正规语言只能对应(B) A一个正规文法 B一个最小有限状态自动机 2.文法GA:A→gA→aBB→AbB→a是(A） A正规文法 B二型文法 3.下面说法正确的是(A) A一个SLR(I)文法一定也是LALR(I)文法 B一个LR(I)文法一定也是LALR(1)文法 4. 一个上下文无关文法消除了左递归，提取了左公共因子后是满足山(I)文法的(A) A必要条件 B充分必要条件 5.下面说法正确的是(B) A一个正规式只能对应一个确定的有限状态自动机 B一个正规语言可能对应多个正规文法 6.算符优先分析与规范归约相比的优点是(A) A归约速度快 B对文法限制少 7. 一个LR(1)文法合并同心集后若不是LALR(I)文法(B) A则可能存在移进/归约冲突 B则可能存在归约/归约冲突 C则可能存在移进/归约冲突和归约归约冲突 8.下面说法正确的是(A) ALex是一个词法分析器的生成器 B Yacc是一个语法分析器 9.下面说法正确的是(A) A一个正规文法也一定是二型文法 B一个二型文法也一定能有一个等价的正规文法 10.编译原理是对(C) A、机器语言的执行 B、汇编语言的翻译 C、高级语言的翻译 D、高级语言程序的解释执行 11.(A)是一种典型的解释型语言
编译原理复习题及答案 一、选择题 1． 一个正规语言只能对应( B ) A 一个正规文法 B 一个最小有限状态自动机 2． 文法 G[A]：A→ε A→aB B→Ab B→a 是( A ) A 正规文法 B 二型文法 3． 下面说法正确的是( A ) A 一个 SLR（1）文法一定也是 LALR（1）文法 B 一个 LR（1）文法一定也是 LALR（1）文法 4． 一个上下文无关文法消除了左递归，提取了左公共因子后是满足 LL（1）文法的( A ) A 必要条件 B 充分必要条件 5． 下面说法正确的是( B ) A 一个正规式只能对应一个确定的有限状态自动机 B 一个正规语言可能对应多个正规文法 6． 算符优先分析与规范归约相比的优点是( A ) A 归约速度快 B 对文法限制少 7． 一个 LR（1）文法合并同心集后若不是 LALR（1）文法( B ) A 则可能存在移进/归约冲突 B 则可能存在归约/归约冲突 C 则可能存在移进/归约冲突和归约/归约冲突 8． 下面说法正确的是( A ) A Lex 是一个词法分析器的生成器 B Yacc 是一个语法分析器 9． 下面说法正确的是( A ) A 一个正规文法也一定是二型文法 B 一个二型文法也一定能有一个等价的正规文法 10． 编译原理是对(C)。 A、机器语言的执行 B、汇编语言的翻译 C、高级语言的翻译 D、高级语言程序的解释执行 11． (A)是一种典型的解释型语言
A.BASIC B.C C.FORTRAN D.PASCAL 12.把汇编语言程序翻译成机器可执行的目标程序的工作是由(B)完成的。 A.编译器 B.汇编器 C.解释器 D.预处理器 13.用高级语言编写的程序经编译后产生的程序叫(B) A.源程序 B.目标程序 C.连接程序 D.解释程序 14.(C)不是编译程序的组成部分。 A词法分析程序B.代码生成程序 C.设备管理程序 D语法分析程序 15.通常一个编译程序中，不仅包含词法分析，语法分析，语义分析，中间代码生成，代码优化， 目标代码生成等六个部分，还应包括(C: A.模拟执行器B.解释器 C.表格处理和出错处理D.符号执行器 16.编译程序绝大多数时间花在D)上。 A.出错处理 B.词法分析 C.目标代码生成D。表格管理 17.源程序是句子的集合，(B)可以较好地反映句子的结构。 A.线性表 B.树 C.完全图 D.堆栈 18.词法分析器的输出结果是(D)。 A、单词自身值 B、单词在符号表中的位置 C、单词的种别编码 D、单词的种别编码和自身值 19.词法分析器不能(D) A识别出数值常量 B过滤源程序中的注释 C.扫描源程序并识别记号 D.发现括号不匹配 20.文法：G:S→xSxy所识别的语言是(D). A、Xyx B、(yx) C、x'yx* D、xyx"(n≥0) 21.如果文法G是无二义的，则它的任何句子A) A.最左推导和最右推导对应的语法树必定相同 B.最左推导和最右推导对应的语法树可能不同 C.最左推导和最右推导必定相同 D.可能存在两个不同的最左推导，但它们对应的语法树相同 22.正则文法(A)二义性的。 A可以是 B.一定不是 C.一定是 23.(B)这样一些语言，它们能被确定的有穷自动机识别，但不能用正则表达式表示 A.存在 B.不存在 C.无法判定是否存在 24.给定文法A一bAca,为该文法句子的是(C) A.bba B.cab C.bea D.cba
A．BASIC B．C C．FORTRAN D．PASCAL 12． 把汇编语言程序翻译成机器可执行的目标程序的工作是由(B)完成的。 A. 编译器 B. 汇编器 C. 解释器 D. 预处理器 13． 用高级语言编写的程序经编译后产生的程序叫(B) A．源程序 B．目标程序 C．连接程序 D．解释程序 14． (C)不是编译程序的组成部分。 A.词法分析程序 B.代码生成程序 C.设备管理程序 D.语法分析程序 15． 通常一个编译程序中，不仅包含词法分析，语法分析，语义分析，中间代码生成，代码优化， 目标代码生成等六个部分，还应包括(C)。 A．模拟执行器 B．解释器 C．表格处理和出错处理 D．符号执行器 16． 编译程序绝大多数时间花在(D)上。 A．出错处理 B．词法分析 C．目标代码生成 D．表格管理 17． 源程序是句子的集合，(B)可以较好地反映句子的结构。 A. 线性表 B. 树 C. 完全图 D. 堆栈 18． 词法分析器的输出结果是(D)。 A、单词自身值 B、单词在符号表中的位置 C、单词的种别编码 D、单词的种别编码和自身值 19． 词法分析器不能(D) A. 识别出数值常量 B. 过滤源程序中的注释 C. 扫描源程序并识别记号 D. 发现括号不匹配 20． 文法：G：S→xSx | y 所识别的语言是(D)。 A、xyx B、(xyx)* C、x*yx* D、x nyxn (n≥0) 21． 如果文法 G 是无二义的，则它的任何句子 α(A) A．最左推导和最右推导对应的语法树必定相同 B．最左推导和最右推导对应的语法树可能不同 C．最左推导和最右推导必定相同 D．可能存在两个不同的最左推导，但它们对应的语法树相同 22． 正则文法(A)二义性的。 A. 可以是 B. 一定不是 C. 一定是 23． (B)这样一些语言，它们能被确定的有穷自动机识别，但不能用正则表达式表示。 A. 存在 B. 不存在 C. 无法判定是否存在 24． 给定文法 A→bA | ca，为该文法句子的是(C) A. bba B. cab C. bca D. cba
25.设有文法GS:S→S1S01 SalSclalblc,下列符号串中是该文法的句子有(D) A.abo B.a0c01 C.a0b0a D.be10 26.文法G产生的(D)的全体是该文法描述的语言。 A.句型 B.终结符集 C非终结符集 D句子 27.若文法G定义的语言是无限集，则文法必然是(A) A.递归的 B.上下文无关的C.二义性的 D.无二义性的 28.描述一个语言的文法是(B) A.唯一的 B.不唯一的 C可能唯一 29.一个文法所描述的语言是(A) A.唯一的 B.不唯一的 C可能唯一 30.采用自上而下分析，必须(A)。 A、消除回溯 B、消除左递归 C、消除右递归 D、提取公共左因子 3引.编译过程中，语法分析器的任务是(A) ①分析单词的构成 ②分析单词串如何构成语句 ③分析语句是如何构成程序 ④分析程序的结构 A.②③ B.④ C.①②③④ D.②③④ 32.词法分析器的输入是(A)。 A.符号串 B.源程序 C,语法单位 D.目标程序 33.两个有穷自动机等价是指它们的(C。 A.状态数相等 B.有向弧数相等 C.所识别的语言相等 D.状态数和有向弧数相等 34.若状态k含有项目“A一a·”,且仅当输入符号a∈FOLLOW(A)时，才用规则“A一a 归约的语法分析方法是(D): A.LALR分析法 B.LRO)分析法 C.LR(1)分析法 D.SLR)分析法 35.若a为终结符，则A→a·a即为(B)项目。 A.归约 B.移进 C.接受 D.待约 36.。在使用高级语言编程时，首先可通过编译程序发现源程序的全部和部分(A)错误。 A.语法 B.语义 C.语用 D.运行 37.乔姆斯基(Chomsky))把文法分为四种类型，即0型、1型、2型、3型。其中3型文法是(B)
25． 设有文法 G[S]：S→S1|S0|Sa|Sc|a|b|c，下列符号串中是该文法的句子有(D) A. ab0 B. a0c01 C. a0b0a D. bc10 26． 文法 G 产生的(D)的全体是该文法描述的语言。 A．句型 B. 终结符集 C. 非终结符集 D.句子 27． 若文法 G 定义的语言是无限集，则文法必然是(A) A．递归的 B. 上下文无关的 C. 二义性的 D. 无二义性的 28． 描述一个语言的文法是(B) A．唯一的 B. 不唯一的 C. 可能唯一 29． 一个文法所描述的语言是(A) A．唯一的 B. 不唯一的 C. 可能唯一 30． 采用自上而下分析，必须(A)。 A、消除回溯 B、消除左递归 C、消除右递归 D、提取公共左因子 31． 编译过程中，语法分析器的任务是(A) ① 分析单词的构成 ② 分析单词串如何构成语句 ③ 分析语句是如何构成程序 ④ 分析程序的结构 A. ②③ B. ④ C. ①②③④ D. ②③④ 32． 词法分析器的输入是( A)。 A．符号串 B．源程序 C．语法单位 D．目标程序 33． 两个有穷自动机等价是指它们的(C)。 A．状态数相等 B．有向弧数相等 C．所识别的语言相等 D．状态数和有向弧数相等 34． 若状态 k 含有项目“A→α· ”，且仅当输入符号 a∈FOLLOW(A)时，才用规则“A →α” 归约的语法分析方法是(D)。 A．LALR 分析法 B．LR(0)分析法 C．LR(1)分析法 D．SLR(1)分析法 35． 若 a 为终结符，则 A→α · aβ 为(B)项目。 A．归约 B．移进 C．接受 D．待约 36． 在使用高级语言编程时,首先可通过编译程序发现源程序的全部和部分(A)错误。 A. 语法 B. 语义 C. 语用 D. 运行 37． 乔姆斯基(Chomsky)把文法分为四种类型，即 0 型、1 型、2 型、3 型。其中 3 型文法是(B)
A非限制文法B.正则文法 C.上下文有关文法D.上下文无关文法 38.一个句型中的(A)称为该句型的句柄。 A.最左直接短语B.最右直接短语 C.终结符 D.非终结符 39.在自底向上的语法分析方法中，分析的关键是(D) A.寻找句柄 B.寻找句型 C.消除递归 D.选择候选式 40.在自顶向下的语法分析方法中，分析的关键是(C) A.寻找句柄 B.寻找句型 C.消除递归 D.选择候选式 41.在LR分析法中，分析栈中存放的状态是识别规范句型(C)的DFA状态。 A.句柄 B.前缀 C.活前缀 D.LRO)项目 42.一个上下文无关文法G包括四个组成部分，它们是一组非终结符号，一组终结符号，一个开 始符号，以及一组(B) A句子 B.产生式 C单词 D.句型 43.词法分析器用于识别(C) A.句子 B.产生式 C.单词 D.句型 44.编译程序是一种(B) A汇编程序 B.翻译程序 C.解释程序 D.目标程序 45.按逻辑上划分，编译程序第三步工作是(A) A语义分析 B.词法分析 C.语法分析 D.代码生成 46.在语法分析处理中，FIRST集合、FOLLOW集合均是(B) A.非终结符集 B.终结符集 C.字母表 D.状态集 47.编译程序中语法分析器接收以()为单位的输入。 A.单词 B.表达式 C.产生式 D.句子 48.编译过程中，语法分析器的任务就是(B) A.分析单词是怎样构成的 B.分析单词串是如何构成语句和说明的 C.分析语句和说明是如何构成程序的 D.分析程序的结构 49.若一个文法是递归的，则它所产生的语言的句子(A)。 A是无穷多个 B.是有穷多个 C.是可枚举的 D.个数是常量 50.识别上下文无关语言的自动机是(C) A下推自动机 B.NFA C.DFA D.图灵机 51.编译原理各阶段工作都涉及(B) A词法分析 B表格管理 C.语法分析 D.语义分析 52.正则表达式R1和R2等价是指(C) AR1和R2都是定义在一个字母表上的正则表达式
A. 非限制文法 B. 正则文法 C. 上下文有关文法 D. 上下文无关文法 38． 一个句型中的(A)称为该句型的句柄。 A. 最左直接短语 B. 最右直接短语 C. 终结符 D. 非终结符 39． 在自底向上的语法分析方法中，分析的关键是(D) A. 寻找句柄 B. 寻找句型 C. 消除递归 D. 选择候选式 40． 在自顶向下的语法分析方法中，分析的关键是(C) A. 寻找句柄 B. 寻找句型 C. 消除递归 D. 选择候选式 41． 在 LR 分析法中，分析栈中存放的状态是识别规范句型(C)的 DFA 状态。 A.句柄 B. 前缀 C. 活前缀 D. LR(0)项目 42． 一个上下文无关文法 G 包括四个组成部分，它们是一组非终结符号，一组终结符号，一个开 始符号，以及一组(B) A. 句子 B. 产生式 C. 单词 D. 句型 43． 词法分析器用于识别(C) A. 句子 B. 产生式 C. 单词 D. 句型 44． 编译程序是一种(B) A. 汇编程序 B. 翻译程序 C. 解释程序 D. 目标程序 45． 按逻辑上划分，编译程序第三步工作是(A) A. 语义分析 B. 词法分析 C. 语法分析 D. 代码生成 46． 在语法分析处理中，FIRST 集合、FOLLOW 集合均是(B) A. 非终结符集 B.终结符集 C. 字母表 D. 状态集 47． 编译程序中语法分析器接收以(A)为单位的输入。 A. 单词 B. 表达式 C. 产生式 D. 句子 48． 编译过程中，语法分析器的任务就是(B) A. 分析单词是怎样构成的 B. 分析单词串是如何构成语句和说明的 C. 分析语句和说明是如何构成程序的 D. 分析程序的结构 49． 若一个文法是递归的，则它所产生的语言的句子(A)。 A.是无穷多个 B.是有穷多个 C.是可枚举的 D.个数是常量 50． 识别上下文无关语言的自动机是(C) A. 下推自动机 B. NFA C. DFA D. 图灵机 51． 编译原理各阶段工作都涉及(B) A.词法分析 B.表格管理 C.语法分析 D.语义分析 52． 正则表达式 R1 和 R2 等价是指(C) A. R1 和 R2 都是定义在一个字母表上的正则表达式
B.R1和R2中使用的运算符相同 C.RI和R2代表同一正则集 D.R1和R2代表不同正则集 53.已知文法GS]S→A1,A→A1S00。与G等价的正规式是(C) A.001)* B.1*10*1 C.0(110)1 D.1(10101)*0 54.与(ab)*(ab)等价的正规式是(C) A.a制b* B.(ab)*(alb) C.(alb)(alb)￥ D.(alb)* 55.D)文法不是山1)的。 A.递归 B.右递归 C.2型 D.含有公共左因子的 56.给定文法A一bAec,则符号串①cc②bcbc③bcbce④bcebce同bbbce中，是该文法句子的 是(D) A.① B.③④5 C.②④ D.①⑤ 57.LR1)文法都是0 A.无二义性且无左递归 B.可能有二义性但无左递归 C.无二义性但可能是左递归 D.可以既有二义性又有左递归 58.文法E一E+EE*E的句子*iii有(C)棵不同的语法树。 A.1 B.3 c.5 D.7 59.文法s→aaSjabc定义的语言是(C)。 A.{a2kbclk>0) B.fakbck>0) C.{a2k-1bclk>0) D.(akakbclk>0) 60.若B为非终结符，则A一a.BB为D). A移进项目 B.归约项目 C.接受项目 D.待约项目 61同心集合并可能会产生新的(D)冲突。 A二义 B.移进/移进 C.移进/归约 D.归约/归约 62.就文法的描述能力来说，有(C) A.SLR(I)CLR(0)B.LRI)cLR(O)C.SLRI)cLR1)D.无二义文法cLRI) 63.如图所示自动机M,请问下列哪个字符串不是M所能识别的D)。 A.bbaa B.abba C.abab D.aabb
B. R1 和 R2 中使用的运算符相同 C. R1 和 R2 代表同一正则集 D. R1 和 R2 代表不同正则集 53． 已知文法 G[S]:S→A1， A→A1|S0|0。与 G 等价的正规式是(C) A. 0(0|1)* B. 1*|0*1 C. 0(1|10)*1 D. 1(10|01)*0 54． 与(a|b)*(a|b)等价的正规式是(C)。 A.a*| b* B.(ab)*(a|b) C. (a|b)(a|b)* D.(a|b)* 55． (D)文法不是 LL(1)的。 A. 递归 B. 右递归 C. 2 型 D.含有公共左因子的 56． 给定文法 A→bA|cc，则符号串①cc ②bcbc ③bcbcc ④bccbcc ⑤bbbcc 中，是该文法句子的 是(D) A. ① B. ③④⑤ C. ②④ D. ①⑤ 57． LR(1)文法都是() A. 无二义性且无左递归 B. 可能有二义性但无左递归 C. 无二义性但可能是左递归 D. 可以既有二义性又有左递归 58． 文法 E→E+E|E*E|i 的句子 i*i+i*i 有(C)棵不同的语法树。 A. 1 B. 3 C. 5 D.7 59． 文法 S→aaS|abc 定义的语言是(C)。 A.{a2kbc|k>0} B.{akbc|k>0} C.{a2k-1bc|k>0} D.{akakbc|k>0} 60． 若 B 为非终结符，则 A→.B 为(D)。 A.移进项目 B.归约项目 C.接受项目 D.待约项目 61． 同心集合并可能会产生新的(D)冲突。 A.二义 B.移进/移进 C.移进/归约 D.归约/归约 62． 就文法的描述能力来说，有(C) A．SLR(1) ⊂ LR(0) B．LR(1) ⊂ LR(0) C．SLR(1) ⊂ LR(1) D．无二义文法 ⊂ LR(1) 63． 如图所示自动机 M，请问下列哪个字符串不是 M 所能识别的(D)。 A. bbaa B. abba C. abab D. aabb
64.有限状态自动机能识别(C) A.上下文无关语言B上下文有关语言C正规语言 D.0型文法定义的语言 65.己知文法G是无二义的，则对G的任意句型a(A) A最左推导和最右推导对应的语法树必定相同 B最左推导和最右推导对应的语法树可能相同 C.最左推导和最右推导必定相同 D.可能存在两个不同的最左推导，但他们对应的语法树相同 66.(B)不是DFA的成分 A有穷字母表B.多个初始状态的集合C多个终态的集合D.转换函数 67.与逆波兰式（后缀表达式）ab+c*d+对应的中缀表达式是(B) A.a+b+c*d B.(a+b)*c+d C.(a+b)*(c+d) D.a+b*c+d 68.后缀式bc-+-d+可用表达式(B)来表示。 A.(-(a+b)-c)+d B.-(a+(b-c))+d C.-(a-(b+c))+d D.(a-(-b+c))+d 69.表达式A*(B-C*(CD)的后缀式为B)。 A.ABC-CD/*+ B.ABCCD/*.+ C.ABC-*CD/ D.以上都不对 70.(D)不是NFA的成分。 A.有穷字母表 B.初始状态集合 C终止状态集合 D.有限状态集合 二、问答题 1.将文法GS)改写为等价的GS,使G'S不含左递归和左公共因子。 GSl:S→bSAe|bA A→Abld
64． 有限状态自动机能识别(C) A.上下文无关语言 B.上下文有关语言 C.正规语言 D.0 型文法定义的语言 65． 已知文法 G 是无二义的，则对 G 的任意句型α(A) A.最左推导和最右推导对应的语法树必定相同 B.最左推导和最右推导对应的语法树可能相同 C.最左推导和最右推导必定相同 D.可能存在两个不同的最左推导，但他们对应的语法树相同 66． (B)不是 DFA 的成分 A.有穷字母表 B.多个初始状态的集合 C.多个终态的集合 D.转换函数 67． 与逆波兰式(后缀表达式)ab+c*d+对应的中缀表达式是(B) A. a+b+c*d B. (a+b)* c+d C. (a+b)* (c+d) D. a+b*c+d 68． 后缀式 abc−+−d+可用表达式(B)来表示。 A．(− (a+b)−c)+d B．−(a+(b−c))+d C．− (a−(b+c))+d D．(a−(−b+c))+d 69． 表达式 A*(B-C*(C/D))的后缀式为(B)。 A．ABC-CD/** B．ABCCD/*-* C．ABC-*CD/* D．以上都不对 70． (D)不是 NFA 的成分。 A. 有穷字母表 B. 初始状态集合 C. 终止状态集合 D. 有限状态集合 二、问答题 1． 将文法 G[S] 改写为等价的 G′[S]，使 G′[S]不含左递归和左公共因子。 G[S]： S→bSAe | bA A→Ab | d 答：
文法G$)改写为等价的不含左递归和左公共因子的GS]为： S-bB B-→SAelA A-→dA A'→bA'IE 2.将文法GS)改写为等价的GS],使GS]不含左递归和左公共因子。 GIS]:S-SAelAe A-→dAbAjdAd 李 文法GS]改写为等价的不含左递归和左公共因子的GS]为： S→AS S'→AeS'e A→dA' A'→ABE B-→bAE 3.将文法GS改写为等价的GS],使GS]不含左递归和左公共因子。 GIS]:S-A A→BAS B→aBa 答： 文法GS]改写为等价的不含左递归和左公共因子的G[S]为： S-IA A→BA A'→SA'E B→aB B'→BHE 4.判断下面文法是否为(1)文法，若是，请构造相应的山()分析表
文法 G[S] 改写为等价的不含左递归和左公共因子的 G'[S]为： S→bB B→SAe | A A→d A' A' →bA' | ε 2． 将文法 G[S] 改写为等价的 G'[S]，使 G'[S]不含左递归和左公共因子。 G[S]： S→SAe|Ae A→dAbA|dA|d 答： 文法 G[S] 改写为等价的不含左递归和左公共因子的 G'[S]为： S →AeS' S' →AeS'|ε A →dA' A' →AB|ε B →bA |ε 3． 将文法 G[S] 改写为等价的 G'[S]，使 G'[S]不含左递归和左公共因子。 G[S]： S→[A A→B]|AS B→aB|a 答： 文法 G[S] 改写为等价的不含左递归和左公共因子的 G'[S]为： S →[A A →B]A′ A′→SA′|ε B →aB′ B′→B|ε 4． 判断下面文法是否为 LL(1)文法，若是,请构造相应的 LL(1)分析表
s→aH H-→aMdld M-→Ab|E A→aMe 答： 首先计算文法的FIRST集和FOLLOW集如下表。 文法的FIRST集和FOLLOW集 非终结符 FIRST集 FOLLOW集 s (a) #) H (a d) #} fa e, d,b A (a e) (b) 由于predict(H-→aMd)npredict(H→d)={ayn{d}o predict (M-Ab)Npredict (M)=a,ed,b predict (A-aM)npredict (A-e)={ae 所以该文法是(I)文法，(I)分析表如下表。 d b →a H →aMd →d M -Ab →e →Ab A →aM e 5.判断下面文法是否为山1)文法，若是，请构造相应的山()分析表。 s→aD D-STele T一bHH H→de 答：
S→aH H→aMd | d M→Ab | ε A→aM | e 答： 首先计算文法的 FIRST 集和 FOLLOW 集如下表。 文法的 FIRST 集和 FOLLOW 集 非终结符 FIRST 集 FOLLOW 集 S {a}......... {# }... H {a ，d}..... {# }... M {a ，e ，ε} {d ，b} A {a ，e}..... {b}.... 由于 predict（H→aMd）∩predict（H→d）={a}∩{d }= predict（M→Ab）∩predict（M→ε）={a ，e}∩{d ，b }= predict（A→aM）∩predict（A→e）={ a }∩{ e }= 所以该文法是 LL(1)文法，LL(1)分析表如下表。 a d b e # S →aH. H →aMd →d. M →Ab. →ε →ε →Ab A →aM. →e. 5． 判断下面文法是否为 LL(1)文法，若是，请构造相应的 LL(1)分析表。 S→aD D→STe|ε T→bH|H H→d|ε 答：
首先计算文法的FIRST集和FOLLOW集如下表。 非终结符 FIRST集 FOLLOW集 s (a) (b.,d,e) D (a,s) {#,b,d,e} T (b,d, fe) H (d, e predict (D-STe)npredict (D-)=(a#b,d,e predict (T-bH)npredict (T-H)=(be predict (H-d)npredict (H-)=de 所以该文法是L(I文法，L(I)分析表如下表： a e 6 d s →aD -→STe →8 →E T →H →bH →H H →8 →d 6.判断下面文法是否为L(1)文法，若是，请构造相应的1)分析表。 S-→aD D-STele T-bM M-→blH H-M: 答： 文法的FIRST集和FOLLOW集 非终结符 FIRST集 FOLLOW集 s (a) #,b 0 (a c {#,b时 T b时 fe)
首先计算文法的 FIRST 集和 FOLLOW 集如下表。 非终结符 FIRST 集 FOLLOW 集 S {a} {#，b，d，e}. D {a，ε} {#，b，d，e } T {b，d，ε} {e} H {d，ε} {e} 由于 predict（D→STe）∩predict（D→ε）={a}∩{# ，b ，d ，e }= predict（T→bH）∩predict（T→H）={b}∩{e }= predict（H→d）∩predict（H→ε）={ d }∩{ e }= 所以该文法是 LL(1)文法，LL(1)分析表如下表： a e b d # S →aD. D →STe →ε →ε →ε →ε T →H. →bH →H. H →ε →d. 6． 判断下面文法是否为 LL(1)文法，若是，请构造相应的 LL(1)分析表。 S→aD D→STe|ε T→bM M→bH H→M|ε 答： 文法的 FIRST 集和 FOLLOW 集 非终结符 FIRST 集 FOLLOW 集 S {a}..... {# ，b} D {a ，ε} {# ，b} T {b}..... {e}
M (b) fe) {b, fe) predict (D-STe)npredict (D-)=a#,b predict(H→M)npredict(H-→e)={bin{e}-a 所以该文法是山1)文法，山(1)分析表如下表： a e →aD -→STe →bM -→bH →M 7.某语言的拓广文法G为： 0)s-s (I)S→DbB (2)D→de (3)B→Bae 证明G不是LR(O)文法而是SLR(I)文法，请给出SLR()分析表。 种 拓广文法G,增加产生式S”一S s'→·s 在项目集l6中： S→·Db 有移进项目D→d S.B 归约项目D→和B→ D→· 存在移进归约和归约归约冲突，所以G不是L(O)文法。 B→·ba B→· 若产生式排序为： (0)S-s
M {b}..... {e}.... H {b ，ε} {e}.... 由于 predict（D→STe）∩predict（D→ε）={a}∩{# ，b}= predict（H→M）∩predict（H→ε）={ b }∩{ e }= 所以该文法是 LL(1)文法，LL(1)分析表如下表： a e b # S →aD. D →STe →ε →ε T →bM M →bH H →ε →M. 7． 某语言的拓广文法 G′为： (0) S′→S (1) S → Db|B (2) D → d|ε (3) B → Ba|ε 证明 G 不是 LR(0)文法而是 SLR(1)文法，请给出 SLR(1)分析表。 答： 拓广文法 G'，增加产生式 S'→S 在项目集 I0 中： 有移进项目 D →·d 归约项目 D →·和 B →· 存在移进-归约和归约-归约冲突，所以 G 不是 LR(0)文法。 若产生式排序为： (0) S'→S
