编译原理自测(一、二、三)及答案.doc

《编译原理自测(一、二、三)及答案.doc》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、编译原理自测一一、是非题(下列各题，你认为正确的，请在题干的括号内打“√”，错的打“×”。每题1分,共5分)1、算符优先关系表不一定存在对应的优先函数。正确2、数组元素的地址计算与数组的存储方式有关。.正确3、仅考虑一个基本块，不能确定一个赋值是否真是无用的。正确4、每个文法都能改写为LL(1)文法。不正确5、对于数据空间的存贮分配，FORTRAN采用动态贮存分配策略。不正确二、填空题1、从功能上说，程序语言的语句大体可分为（执行性）语句和（说明性）语句两大类。2、扫描器的任务是从（源程序）中识别出一个个（单词符号）。3、所谓最右

2、推导是指：(任何一步αβ都是对α中最右非终结符进行替换的)。4、语法分析最常用的两类方法是（自上而下）和（自下而上）分析法。5、一个上下文无关文法所含四个组成部分是(一组终结符号，一组非终结符号、一个开始符号、一组产生式)。6、所谓语法制导翻译方法是(为每个产生式配上一个翻译子程序，并在语法分析的同时执行这些子程序)。7、符号表中的信息栏中登记了每个名字的有关的性质，如（类型、种属、？）等等。8、一个过程相应的DISPLAY表的内容为（现行活动记录）。9、常用的两种动态存贮分配办法是（栈式）动态分配和（堆式）动态分配。10、产生式

3、是用于定义(语法范畴)的一种书写规则。三、名词解释1．遍－－指编译程序对源程序或中间代码程序从头到尾扫描一次。2．无环路有向图(DAG)－－如果有向图中任一通路都不是环路，则称庐有向图为无环路有向图，简称DAG。3．语法分析－－按文法的产生式识别输入的符号串是否为一个句子的分析过程。4．短语－－令G是一个文法。S划文法的开始符号，假定αβδ是文法G的一个句型，如果有SαAδ且AB，则称β是句型αβ相对非终结符A的短语。5．后缀式－－一种把运算量写在前面，把算符写在后面的表示表达式的方法。编译原理自测二一、是非题(下列各题，你认为正

4、确的，请在题干的括号内打“√”，错的打“×”。每题1分,共5分)1、一个LL(1)文法一定是无二义的。.正确2、逆波兰法表示的表达式亦称前缀式。.不正确3、目标代码生成时，应考虑如何充分利用计算机的寄存器的问题。.正确4、正规文法产生的语言都可以用上下文无关文法来描述。.正确5、一张转换图只包含有限个状态，其中有一个被认为是初态，最多只有一个终态。不正确二、填空题1、语法分析是依据语言的（语法）规则进行的，中间代码产生是依据语言的（语义）规则进行的。2、程序语言的单词符号一般可以分为（基本字、标识符、常量、算符、界符）等等。3、语

5、法分析器的输入是（单词符号串），其输出是（语法单位）4、所谓自上而下分析法是指（从开始符号出发，向下推导，推出句子）。5、如果一个文法存在某个句子对应两棵不同的语法树，则称这个文法是（二义的）。6、对于文法G，仅含终结符号的句型称为（句子）。7、逆波兰式ab+c+d*e-所表达式为（）。8、一个名字的属性包括（类型）和（作用域）。9、对于数据空间的存贮分配，FORTRAN采用（静态存储分配）策略，PASCAL采用（动态存储分配）策略。10、所谓优化是指（对程序进行各种等价变换，使得从变换后的程序出发，能生成更有效的目标代码）。三、

6、名词解释1．词法分析器——指执行词法分析的程序。2．语法——一组规则，用它可以形成和产生一个合式的程序3．最右推导——指对于一个推导序列中的每一步直接推导，被替换的总是当前符号串中的最右非终结符号。4．语法制导翻译——在语法分析过程中，根据每个产生式所对应的语义子程序进行翻译的办法叫做语法制导翻译。5．基本块——指程序中一个顺序执行的语句序列，其中只有一个入口，一个出口，入口即第一个语句。出口即最后一个语句。编译原理自测三一选择题(每空2分,共20分)1、文法G产生的⑴的全体是该文法描述的语言。DA.句型B.终结符集C.非终结符集

7、D.句子2、若文法G定义的语言是无限集，则文法必然是⑵：AA.递归的B.前后文无关的C.二义性的D.无二义性的3、Chomsky定义的四种形式语言文法中，0型文法又称为⑶A文法；1型文法又称为⑷C文法；2型语言可由⑸G识别。A.短语结构文法B.前后文无关文法C.前后文有关文法D.正规文法    E.图灵机F.有限自动机G.下推自动机A.短语结构文法B.前后文无关文法C.前后文有关文法D.正规文法    E.图灵机F.有限自动机G.下推自动机A.短语结构文法B.前后文无关文法C.前后文有关文法D.正规文法    E.图灵机F.有限自

8、动机G.下推自动机4、一个文法所描述的语言是⑹A；描述一个语言的文法是⑺B。A.唯一的B.不唯一的C.可能唯一,可能不唯一A.唯一的B.不唯一的C.可能唯一,可能不唯一5、数组的内情向量中肯定不含有数组的⑻A的信息A.维数B.类型C.维上下界D.各