编译原理复习题-给学生(2014).doc_第1页
编译原理复习题-给学生(2014).doc_第2页
编译原理复习题-给学生(2014).doc_第3页
编译原理复习题-给学生(2014).doc_第4页
编译原理复习题-给学生(2014).doc_第5页
已阅读5页,还剩21页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

编译原理复习题一、单项选择题概述部分1构造编译程序应掌握 。D A. 源程序 B. 目标语言 C. 编译方法 D. 以上三项都是2编译程序绝大多数时间花在 上。DA. 出错处理 B. 词法分析 C. 目标代码生成 D. 表格管理3编译程序是对 。DA. 汇编程序的翻译 B. 高级语言程序的解释执行C. 机器语言的执行 D. 高级语言的翻译4. 将编译程序分成若干“遍”,是为了 。BA. 提高程序的执行效率 B. 使程序的结构更为清晰C 利用有限的机器内存并提高机器的执行效率D. 利用有限的机器内存但降低了机器的执行效率词法分析部分1DFA M(见图1-1)接受的字集为 。D 图1-1XY0011A. 以0开头的二进制数组成的集合 B. 以0结尾的二进制数组成的集合 C. 含奇数个0的二进制数组成的集合 D. 含偶数个0的二进制数组成的集合 2词法分析器的输出结果是 。CA. 单词的种别编码 B. 单词在符号表中的位置C. 单词的种别编码和自身值 D. 单词自身值3正规式M1和M2等价是指 。CA. M1和M2的状态数相等 B. M1和M2的有向边条数相等C. M1和M2所识别的语言集相等 D. M1和M2状态数和有向边条数相等4词法分析器的加工对象是 。 C A中间代码 B单词 C源程序 D元程序5同正规式(a|b)*等价的正规式为 。D A(a|b)+ Ba*|b* C(ab)* D(a*|b*)+6. 两个DFA等价是指: 。 DA. 这两个DFA的状态数相同B. 这两个DFA的状态数和有向弧条数都相等C. 这两个DFA的有向弧条数相等D. 这两个DFA接受的语言相同7. 下列符号串不可以由符号集Sa,b上的正闭包运算产生的是:(A)A. B.a C.aa D.ab8称有限自动机A1和A2等价是指_。DAA1和A2都是定义在一个字母表上的有限自动机BA1和A2状态数和有向边数相等CA1和A2状态数或有向边数相等DA1和A2所能识别的字符串集合相等9同正规式(a|b)+等价的正规式是_。BA(a|b)* B(a|b)(a|b)* C(ab)*(ab) D(a|b)|(a|b)*语法分析1在规范归约中,用 来刻画可归约串。 BA. 直接短语 B. 句柄 C. 最左素短语 D. 素短语2若B为非终结符,则AB为 项目。DA. 归约 B. 移进 C. 接受 D. 待约3如果文法G是无二义的,则它的任何句子 。 AA. 最左推导和最右推导对应的语法树必定相同B. 最左推导和最右推导对应的语法树可能不同C. 最左推导和最右推导必定相同D. 可能存在两个不同的最左推导,但它们对应的语法树相同4下列动作中,不是自下而上分析动作的是: 。BA. 移进 B. 展开C. 接受 D. 报错6若a为终结符,则Aa为 项目。BA. 归约 B. 移进 C. 接受 D. 待约7语法分析时所依据的是 。AA. 语法规则 B. 词法规则 C. 语义规则 D. 等价变换规则8文法G:SxSx|y所识别的语言是 。C A. xyx B. (xyx)* C. xnyxn (n0) D. x*yx*9下列动作中,不是自上而下分析动作的是: 。CA. 匹配 B. 展开C. 移进 D. 报错10若A为非终结符,则A 为 项目。AA. 归约 B. 移进 C. 接受 D. 待约11文法G:SxSx| xS|y所识别的语言是 。 A A. xmyxn(mn0) B. (xyx)* C. xnyxn(n0) D. x*yx*13由文法的开始符号出发经过若干步(包括0步)推导产生的文法符号序列称为_。BA语言 B句型 C句子 D句柄14在自上而下的语法分析中,应从 开始分析。CA句型 B句子 C文法开始符号D句柄15一个文法G,若_,则称它是LL(1)文法。CAG中不含左递归 BG无二义性 CG的LL(1)分析表中不含多重定义的条目 DG中产生式不含左公因子16项目SS. 为 。DA.归约项目 B.移进项目C.待约项目 D.接受项目17. 语法分析器的输入是: 。AA. Token序列 B. 源程序C. 目标程序 D. 符号表18. 在LR(0)的Action表中,如果某行中存在标记为“rj”的栏,则: 。 AA. 该行必定填满“rj” B. 该行未必填满“rj”C. 其他行可能也有“rj” D. goto表中也可能有“rj”19. LR分析过程中栈内存储的是 。 AA. 活前缀 B. 前缀C. 归约活前缀 D. 项目20.文法G:S x xS | y 所识别的语言是 。 DAxxyn B(xxy) n Cxxnyx D(xx)ny21.若状态k含有项目“A.”,对任意非终结符a,都用规则“A ”归约的语法分析方法是 。BALALR分析法 BLR(0)分析法 CLR(1)分析法 DSLR(1)分析法22. 在SLR(1)的Action表中,如果某行中存在标记为“rj”的栏,则: 。BA. 该行必定填满“rj” B. 该行未必填满“rj”C. 其他行可能也有“rj” D. goto表中也可能有“rj”23. 一个 指明了在LR分析过程中的某个时刻所能看到产生式多大一部分。DA. 活前缀 B. 前缀C. 归约活前缀 D. 项目24.若状态k含有项目“A.”,且仅当输入符号aFOLLOW(A)时,才用规则“A ”归约的语法分析方法是 。DALALR分析法 BLR(0)分析法 CLR(1)分析法 DSLR(1)分析法25设有文法GT:TT*F|FFFP|PP(T)|a该文法句型T*P(T*F)的句柄是下列符号串 。C A.(T*F) B. T*F C. P D. P(T*F)26LR分析表中的转移表(goto)是以 作为列标题的。BA终结符 B非终结符 C终结符或非终结符 D表示状态的整形数27编译程序的语法分析器必须输出的信息是 。 A A语法错误信息 B语法规则信息C语法分析过程 D语句序列28下列项目中为可移进项目的是 。C AEE . BL. CL.-L DFL*F.29LR分析表中的动作表(action)是以 作为列标题的。DA终结符 B非终结符C终结符或非终结符 D终结符和结束符#30下列项目中为可归约项目的是 。BAE.E BL. CL-.L DFL*.F33LR分析器的核心部分是一张分析表,该表由_组成。DAACTION表 BGOTO表C预测分析表 DACTION表和GOTO表 34在递归下降子程序方法中,若文法存在左递归,则会使分析过程产生_ _。DA回溯 B非法调用 C有限次调用 D无限循环 35最左简单子树的叶结点,自左至右排列组成句型的_。CA短语 B句型 C句柄 D间接短语36由文法的开始符号出发经过若干步(包括0步)推导产生的文法符号序列中,如果只含有终结符,则文法符号序列称为_。CA语言 B句型 C句子 D句柄37LL(1)分析法中“1”的含义是在输入串中查看一个输入符号,其目的是_。CA确定最左推导 B确定句柄 C确定使用哪一个产生式进行展开 D确定是否推导语义分析1.表达式(ab)(ef)的逆波兰表示为 。BAabef BabefCabef Dabef2中间代码生成时所依据的是 。CA词法规则 B语法规则 C语义规则 D等价变换规则3 -a-(b*c/(c-d)+(-b)*a)的逆波兰表示是 。(代表后缀式中的求负运算符) CA. abc*cd-ba*+/- B. abc*cd-ba*+/-C. abc*cd-/ba*+- D. abc*/cd-ba*+-4有文法G及其语法制导翻译如下所示(语义规则中的*和+分别是常规意义下的算术运算符): EE(1) T E.val = E(1).val * T.val ET E.val = T.val TT(1)# n T.val = T(1).val + n.val T n T.val = n.val则分析句子1 2 3 # 4其值为 。 C A. 10 B. 34 C. 14 D.545有文法G及其语法制导翻译如下所示(语义规则中的*和+分别是常规意义下的算术运算符): EE(1) T E.val = E(1).val * T.val ET E.val = T.val TT(1)# n T.val = T(1).val + n.val T n T.val = n.val 则分析句子2 3 # 4其值为 。 C A. 10 B. 21 C. 14 D. 246间接三元式表示法的优点为 。 AA. 采用间接码表,便于优化处理 B. 节省存储空间,不便于表的修改C. 便于优化处理,节省存储空间 D. 节省存储空间,不便于优化处理7文法GS及其语法制导翻译定义如下: 产生式语义动作 S Sprint(S.num) S (L)S.num = L.num +1S aS.num = 0 L L(1), SL.num = L(1).num + S.numL S L.num = S.num若输入为(a,(a),且采用自底向上的分析方法,则输出为 。CA0B1C2D48四元式之间的联系是通过 _实现的。BA指示器 B临时变量 C符号表 D程序变量9表达式(ab)(cd)的逆波兰表示为 。BAabcd BabcdCabcd Dabcd10表达式a+b+c+d的逆波兰表示为 。BAa+bc+d+ Bab+c+d+Cab+cd+ Dabc+d+11.有文法G及其语法制导翻译如下所示(语义规则中的*和+分别是常规意义下的算术运算符): EE(1) T E.val = E(1).val * T.val ET E.val = T.val TT(1)# n T.val = T(1).val + n.val T n T.val = n.val则分析句子3 3 # 4其值为 。B A. 10 B. 21 C. 14 D. 2412表达式a+b+c的逆波兰表示为 。BAa+bc+ Bab+c+C+abc+ Dabc+13. 文法GS及其语法制导翻译定义如下: 产生式语义动作 S Sprint(S.num) S (L)S.num = L.num +1S a S.num = 0 L L(1), SL.num = L(1).num + S.numL S L.num = S.num若输入为(a, a),且采用自底向上的分析方法,则输出为 。BA0 B1C2 D414有一语法制导翻译定义如下:SbAb print “1”A(B print “2”Aa print “3”BaA) print “4”若输入序列为b(a(a(aa)b,且采用自底向上的分析方法,则输出序列为 。BA32224441 B34242421C12424243 D3444221215赋值语句X:=-(a+b)/(c-d)-(a+b*c)的逆波兰表示是 。CA. Xab+cd-/-bc*a+-:=B. Xab+/cd-bc*a+-:=C. Xab+-cd-/ a bc* +-:=D. Xab+cd-/abc* +-:=16有一语法制导翻译定义如下,其中+表示符号连接运算:SB print B.versBa B.vers=aBb B.vers=bBBa B.vers=a+B.versBBb B.vers=b+B.vers若输入序列为abab,且采用自底向上的分析方法,则输出序列为 。DAaabb Babab Cbbaa Dbaba17编译程序不能检查、处理的错误是程序中的_。BA静态语义检查 B动态语义检查 C语法错误 D词法错误(优化、存储、错误管理)1.在编译过程中,如果遇到错误应该 。CA. 把错误理解成局部的错误 B. 对错误在局部范围内进行纠正,继续向下分析C. 当发现错误时,跳过错误所在的语法单位继续分析下去D. 当发现错误时立即停止编译,待用户改正错误后再继续编译二、填空题概述部分:1编译程序的开发常常采用自编译、 交叉编译 、 自展 和移植等技术实现。2解释程序和编译程序的区别在于 是否生成目标程序 。3如果编译程序生成的目标程序是汇编语言程序,则源程序的执行分为3个阶段: 编译阶段 、 汇编阶段 和 运行阶段 。4编译程序工作过程中,第一阶段输入是 源程序 ,最后阶段的输出为 目标程序 。5编译过程通常可分为5个阶段 词法分析阶段 、 语法分析阶段 、 语义分析和中间代码生成阶段 、优化阶段和目标代码生成阶段。6如果编译阶段生成的目标程序是某特定计算机系统的机器代码程序,则源程序的执行分为两大阶段: 编译阶段 和 运行阶段 。7对编译程序而言,输入数据是 源程序 ,输出结果是 目标程序 。8贯穿于编译程始终的工作有 符号表处理 和出错处理。词法分析部分:1词法分析的工作是将源程序中的 字符串 变换成 单词符号流 的过程,所遵循的是语言的 构词规则 。2若两个正规式所表示的 正规集 相同,则认为二者是等价的。3若两个正规式所表示的正规集相同,则认为二者是 等价 的。4正规式R1和R2等价是指_表示相同的正规集 。5词法分析器的输入是源程序字符串,输出结构是 二元式(单词种别, 单词自身的值) 。词法分析所遵循的是语言的 构词 规则。6确定的有限自动机是一个五元组,包含的五个元分别是:状态集合、 字母表、初态、终态集、状态转换函数集合 。7有限自动机是更一般化的状态转换图,它分为 确定的有限自动机DFA 和 非确定的有限自动机NFA 两种。8NFA和DFA的区别主要有两点:其一是 NFA可以有若干个初始状态,而DFA仅有一个初始状态 ;其二是 NFA的状态转换函数f不是单值函数,而是一个多值函数 。语法分析部分:(基本概念、LL(1)、LR(0)、SLR(1)、递归下降子程序)1 语法分析的方法通常分为两类: 自上而下分析方法 和 自下而上分析方法 。2文法中的终结符集和非终结符集的交集是 空集 。3一个句型的最左直接短语称为该句型的_句柄_。4规范归约是 最右推导 的逆过程。5自下而上语法分析中分析器的动作有_移进 、_归约 、_接受_ 、_报错 _。6自上而下语法分析中分析器的动作有_匹配终结符_、_展开非终结符_、_分析成功、报错_。7常用的自上而下语法分析方法有递归下降子程序方法和预测分析表方法(LL(1)方法)。8常用的自下而上语法分析方法有算符优先分析法和LR分析法。9一个LL(1)分析器由 一张LL(1)分析表(预测分析表) 、 一个先进后出分析栈 和一个 控制程序(表驱动程序)组成。10一个LR分析器由 分析栈 、 分析表 和总控程序三个部分组成。11LR(0)分析法的名字中,“L”表示 自左至右分析输入串 ,“R”表示 采用最右推导的逆过程即最左归约 。“0”表示 向右查看0个字符 。12LL(1)分析法中,第一个L的含义是 从左到右扫描输入串 ;第二个L的含义是 分析过程中采用最左推导 ;“1”的含义是 只需向右查看一个符号就可以决定如何推导 。13LR(1)文法的含义是:L表明_自左至右扫描输入串_,R表明_采用最右推导的逆过程(最左归约)方法进行分析_。14一个上下文无关文法是LL(1)文法的充分必要条件是:对每一个非终结符A的任何两个不同产生式A|,有下面的条件成立:(1) FIRST()FIRST() = ;(2)假若,则有 FIRST() FOLLOW(A) = 。15对于LL(1)文法中的任何产生式A|,则需要满足_First(_)First()= 、_若_=*,则_ First(_) _Follow(A)=_ _。16LR分析器的核心部分是一张分析表,该表包括 动作(ACTION)表 和 状态转换(GOTO)表 等两个子表。17关于非终结符A的直接左递归产生式:AA|,其中、是任意的符号串且不以A开头,则可以将A的产生式改写为右递归的形式为: AA , AA| 。18在消除回溯,提取公共左因子时,关于A的产生式A 1 | 2 | | i | i+1 | | j,可以改写为: A A | i+1 | | j , A 1 | |i 。19设GS 是一文法,如果符号串x是从识别符号推导出来的,即有x,则称x是文法GS的_句型_,若x仅由终结符号组成,即,则称x为文法GS的_句子 。20已知文法GS:SeT|RT TDR| RdR| Da|bd求FIRST(S)=e,d,a,b,_;FOLLOW(D)=_d,# 。语义处理部分:1文法符号的属性有两种,一种称为 继承属性 ,另一种称为 综合属性 。2编译过程中,常见的中间语言形式有 逆波兰表示法 、 抽象语法树 、 三元式 、 四元式 。3语法制导翻译的方法就是为每个产生式配上一个 翻译子程序(语义动作或语义子程序) ,并在语法分析的同时执行它们。4编译过程中,常见的中间语言形式有 逆波兰表示法 、 抽象语法树 、 三元式 、 四元式 。6文法符号的属性有两种,一种称为 继承属性 ,另一种称为 综合属性 。7四元式之间的联系是通过 临时变量 实现的。8在属性文法中,终结符只有_综合 属性。10语法制导翻译的方法就是为每个产生式配上一个 翻译子程序(语义动作或语义子程序) ,并在语法分析的同时执行它们。11目前较常见的语言语义的描述形式是_属性文法_,并使用_语法制导翻译 方法完成对语法成分的翻译。(优化、存储、错误管理)1.代码优化的含义是:对代码进行 等价变换 ,使得变换后的代码具有更高的 时间效率 和 空间效率。2.按照优化对象所涉及的程序范围,优化分为 局部优化 、 循环优化 和 全局优化 。3.基本块,是指程序中 顺序执行的语句序列 ,其中只有一个 入口 和一个 出口 。4.从编译角度看,分配目标程序数据空间的基本策略有: 静态分配策略 、 栈式动态分配策略 和堆式动态分配策略 。三、判断题1设r和s分别为正规式,则有L(r|s) = L(r) | L(s).。( )2一个文法的所有句型的集合形成该文法所能接受的语言。( )3语法分析之所以采用上下文无关文法是因为它的描述能力最强。( )4由于LR(0)分析表构造简单,所以它的描述能力强,适用面宽;LR(1)分析表因构造复杂而描述能力弱,适用面窄。( )5逆波兰表示法表示表达式时无需使用括号。( )6自动机M和M的状态个数不同,则二者必不等价。( )7LL(1)文法一定不含左递归和二义性。( )8所有LR分析器的总控程序都是一样的,只是分析表各有不同。( )9无论是三元式表示还是间接三元式表示的中间代码,其三元式在三元式表中的位置一旦确定就很难改变。( )10三地址语句类似于汇编语言代码,可以看成中间代码的一种抽象形式。( )11最左推导也被称为规范推导。( )12运算对象排列的先后顺序在后缀式和中缀式中不同。( )13出现在移进-归约分析器栈中的内容被称为文法G的活前缀。( )14LR方法可以分析含有左递归的文法。( )15三元式的编号具有双重含义,既代表此三元式,又代表三元式存放的结果。( )16语义规则中的属性有两种:综合属性与继承属性。( )17移进-归约分析器的格局中栈的内容一般是文法符号与状态。( )18由于递归下降子程序方法较LL(1)方法简单,因此它要求文法不必是LL(1)文法。( )19四元式的编号具有双重含义,既代表此四元式,又代表四元式存放的结果。( )20用高级语言编写的源程序必须经过编译,产生目标程序后才能运行。( )21源程序到目标程序的变换是等价变换,即两者结构不同,但语义是一致的。( )22对于任何一个正规式e,都存在一个DFA A,使得L(e)=L(A)。( )23最小化的DFA,它的状态数最小。( )24NFA的确定化算法具有消除边的功能。( )25每个非终结符产生的终结符号串都是该语言的子集。( )26一个语言的文法是不唯一的。( )27语法错误校正的目的是为了把错误改正过来。( )28源程序和目标程序是等价关系。( )29编译程序中错误处理的任务是对检查出的错误进行修改。( )30使用有限自动机可以实现单词的识别。( )31一个非确定的有限自动机NFA可以通过多条路径识别同一个符号串。( )32最小化的DFA所识别接受的正规集最小。( )33一个语言(如C语言)的句子是有穷的。( )34LL(1)方法又称为预测分析方法。( )35一个LL(1)文法是无二义和无回溯方法。( )36语法分析器可以检查出程序中的所有错误。( )37LR分析法是自上而下的语法分析方法。( )三、多项选择题1. 编译器的各个阶段的工作都涉及到(AE)A. 表格处理 B. 词法分析C. 语法分析 D. 语义分析 E. 出错处理2. 令Sa,b,则S上的符号串的全体可用下面的正规式表示。(ABE)A. (a|b)* B. (a*|b*)*C. (a|b)+ D. (ab)* E. (a*b*)*3. 自上而下的分析方法有:(AD)A. 递归下降分析法 B. LR(0)分析法C. LALR(1)分析法 D. LL(1)分析法E. SLR(1)分析法4.文法G:GS:SCDAbbA CaCABaaB CbCBBbbB ADaDC BDbDD AabD是(A)。A. 0型文法 B. 1型文法C. 2型文法 D. 3型文法 E. 上下文有关文法5. 对LR分析表的构造,有可能存在的动作冲突有:(AD)A. 移进/归约冲突 B. 移进/移进冲突C. 归约冲突 D. 归约/归约冲突E. 移进冲突6. 一个编译器可能有的阶段为(ABCDE)A. 词法分析 B. 语法分析C. 语义分析 D. 中间代码生成E. 目标代码生成7 令Sa,b,则S上的所有以b开头,后跟若干个(可为0个)ab的符号串的全体可用下面的正规式表示。(AB)A.b (ab)* B. (ba)*b C. b(a|b)+ D. (ba)+b E. b (a|b)*8. 自下而上的分析方法有:(BCE)A. 递归下降分析法 B. LR(0)分析法C. LALR(1)分析法 D. LL(1)分析法E. SLR(1)分析法9. 一般来说,编译器可分为前端和后端,下列编译阶段可被划分为编译的前端的有:(ABCDE)A. 词法分析 B. 语法分析C. 语义分析 D. 中间代码生成 E. 中间代码优化10令Sa,b,则S上的符号串的全体可用下面的正规式表示。(ABE)A. (a|b)* B. (a*|b*)*C. (a|b)+ D. (ab)* E. (a*b*)*11下列符号串是符号集Sa,b上的正规式的有:(ABCDE)A. B.a C.ab D.(aba) (aba)E.abab12正规式服从的代数规律有:(ABDE)A. “或”运算服从交换律 B. “或”运算服从结合律C. “连接”运算服从交换律 D. “连接”运算服从结合律E. “连接”运算可对“或”运算进行分配13 令Sa,b,则S上的所有以b开头,后跟若干个(可为0个)ab的符号串的全体可用下面的正规式表示。(AB)A.b (ab)* B. (ba)*b C. b(a|b)+D. (ba)+b E. b (a|b)*14 一个LR分析器包括:(ADE)A. 一个总控程序 B.一个项目集C.一个活前缀 D.一个分析栈E.一张分析表15 LR分析器的核心部分是一张分析表,该表包括(DE)等子表。A. LL(1)分析表 B. LR(1)分析表C. SLR(1)分析表 D. Action表E. goto表16 Action表中的每一项ActionS,a所表示的动作可能为:(ABCD)A. 移进 B. 接受 C. 归约D. 出错 E. 待约五简答题1构造正规表达式(a|b)*|aa)*b的NFA。解:2设M=(x,y, a,b, f, x, y)为一非确定的有限自动机,其中f定义如下: f(x,a)=x,y fx,b=y f(y,a)= fy,b=x,y试构造相应的确定有限自动机M。解:对照自动机的定义M=(S,f,So,Z),由f的定义可知f(x,a)、f(y,b)均为多值函数,因此M是一非确定有限自动机。先画出NFA M相应的状态图,如下图所示。用子集法构造状态转换矩阵,如下表所示。 将转换矩阵中的所有子集重新命名,形成下表所示的状态转换矩阵,即得到M=(0,1,2,a,b,f,0,1,2),M状态转换图如下图所示。(注意:本题由于集合的命名和先后顺序不同,可能最终结果不同。)3画出编译程序的总体结构图,简述各部分的主要功能。解:编译程序的总体框图如下所示: (1)词法分析器,又称扫描器,它接受输入的源程序,对源程序进行词法分析,识别出一个个单词符号,其输出结果是二元式(单词种别,单词自身的值)流。(2)语法分析器,对单词符号串进行语法分析(根据语法规则进行推导或归约),识别出程序中的各类语法单位,最终判断输入串是否构成语法上正确的句子。(3)语义分析及中间代码生成器,按照语义规则对语法分析器归约出(或推导出)的语法单位进行语义分析并把它们翻译成一定形式的中间代码。编译程序可以根据不同的需要选择不同的中间代码形式,有的编译程序甚至没有中间代码形式,而直接生成目标代码。(4)优化器对中间代码进行优化处理。一般最初生成的中间代码执行效率都比较低,因此要做中间代码的优化,其过程实际上是对中间代码进行等价替换,使程序在执行时能更快,并占用更小的空间。(5)目标代码生成器,把中间代码翻译成目标程序。中间代码一般是一种与机器无关的表示形式,只有把它再翻译成与机器硬件直接相关的机器能识别的语言,即目标程序,才能在机器上运行。(6)表格管理模块保持一系列的表格,登记源程序的各类信息和编译各阶段的进展状况。编译程序各个阶段所产生的中间结果都记录在表格中,所需要的信息也大多从表格中获取,整个编译过程都在不断和表格打交道。(7)出错处理程序对出现在源程序中的错误进行处理。如果源程序有错误,编译程序应设法发现错误,把有关错误信息报告给用户。编译程序的各个阶段都有可能发现错误,出错处理程序要对发现的错误进行处理、记录,并反映给用户。4构造一个DFA,它接受 = 0, 1上所有满足如下条件的字符串:每个1后面都有0直接跟在右边。解:(1)0*(0|10)*0* 或者 (0|10)* (2)NFA (2分)X0Y01020103子集法确定化 II0I1X, 0, 1, 3, Y0, 1, 3, Y20, 1, 3, Y0, 1, 3, Y221, 3, Y-1, 3, Y1, 3, Y2重新命名状态,即得:S0112322334-443 最小化 首先分为终态集和非终态集 3 1, 2, 4 因为10 = 2 20 = 2 40 = 4 状态均属于集合1, 2, 4,所以对于输入符号0不能区分开1,2,4三个状态;11 = 3 21 = 3 41 = 3状态均属于集合3,所以对于输入符号1也不能区分开1,2,4三个状态;因此最终的状态划分即为: 3 1, 2, 4,其对应的DFA如下图所示:001105写出C语言标识符集(字母或下划线开头的由字母、数字、下划线构成的串)的正规式。解答:用D表示数字0-9,用L表示字母a-z|A-Z,则C语言标识符的正规式为: (L|_)(L|D|_)*语法分析部分:6构造一文法,使其描述的语言L = | (a, b)*,且中含有相同个数的a和b。解:S | aA|bBA b| bS| aAAB a| aS| bBB7对于文法G(S):S (L) | aS | aL L, S | S(1) 画出句型(S, (a)的语法树。(2) 写出上述句型的所有短语、直接短语和句柄。解:(1) 句型(S, (a)的语法树如下图所示: (2) 从语法树中可以找到(3分)短语:a; (a); S; S,(a); (S, (a)直接短语: a; S 句柄: S8令文法GN为 GN: ND|ND D0|1|2|3|4|5|6|7|8|9给出句子568的最左、最右推导。解:最左推导:N ND NDD DDD 5DD 56D 568最右推导:N ND N8 ND8 N68 D68 5688已知文法GA: AaABl|aBBb|d试给出与GA等价的LL(1)文法GA;解:GA:AaAAABl | BdBBbB| 9试构造下述文法的SLR(1)分析表。GA: AaABl|aBBb|d解:拓广文法 (0)SA(1)AaABl(2)Aa(3)BBb(4)BdFirst(A)=afollow(A)=#,dFirst(B)=dfollow(B)=lSLR(1)分析表如下:abdl#AB0S211ACC2S2R2R233S454R45S7S66R1R17R310. 试构造下述文法的LL(1)分析表。GS: S(L)|aLL,S|S解:消除左递归:G(S): S (L) | aL SLL , SL| 构造FIRST集,如下:(1)FIRST(S) = (, a(2)FIRST(L) = (, a(3)FIRST(L) = , 构造FOLLOW集如下:(1)FOLLOW(S) = #, , )(2)FOLLOW(L) = )(3)FOLLOW(L) = )LL(1)分析表()a,#SS (L)S aLL SLL SLLL L ,SL11已知文法GS: SaSbS|bSaS|试证明GS是二义文法证明: 该文法产生的语言是a的个数和b的个数相等的串的集合。该文法二义,例如句子abab有两种不同的最左推导。 SaSbSabSabaSbSababSabab SaSbSabSaSbSabaSbSababSabab12已知文法:

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论