东北师范大学16秋编译原理16秋在线作业2满分答案Word文档格式.docx
《东北师范大学16秋编译原理16秋在线作业2满分答案Word文档格式.docx》由会员分享，可在线阅读，更多相关《东北师范大学16秋编译原理16秋在线作业2满分答案Word文档格式.docx（8页珍藏版）》请在冰豆网上搜索。
（E）
i
E
3：
将不含形如A→A的产生式和不含无用符号及无用产生式的文法称为什么文法（）。
有用的
已化简的
已改造的
确定的
4：
设有文法G[S]：
S→SaT|T，T→TbR|R，R→PdR|P，P→fSｇ|e，rn考察该文法的句型SaTbfSgde，其中哪个是句柄（）。
SaT
b
fSg
e
C
5：
编译程序与运行系统合称为什么（）。
翻译系统
编译系统
实时系统
分布式系统
6：
下述正规表达式中与（a*|b）*（c|d）等价的是哪个（）。
a*（c|d）|b（c|d）
a*（c|d）*|b（c|d）*
a*（c|d）|b*（c|d）
（a*|b）*c|（a*|b）*d
D
7：
句型是由什么推导出的符号串（）。
非终结符
终结符
任何符号
开始符号
8：
设有文法G[I]：
I:
:
=I1|I0|Ia|Ic|a|b|c，下列符号串中是该文法的句子的是哪个（）。
ab0
a0c01
1aba
0bc10
9：
在编译程序采用的优化方法中，什么不是在一个基本块内进行的优化项目（）。
常数传播与合并
消除无用赋值
寄存器分配
消除多余运算
10：
由右线性文法构造状态转换图时，要令G的开始符号S所标记的结点是什么结点（）。
初态
终态
既非初态亦非终态
任意
A
11：
假设某程序语言的文法如下：
S→a|b|（T），T→TdS|S，考察该文法的句型（Sd（T）db），其中：
素短语是哪个（）。
S
（T）
Sd（T）
12：
已知文法G定义为：
S→WZ，W→X|Y，X→x|xX，Y→y|yY，Z→z|zZ，与该文法描述相同语言的正规表达式是哪个（）。
xx*|yy*|zz*
（xx*|yy*）zz*
xx*（yy*|zz*）
（xx|yy）*zz*
13：
设有文法G[T]：
T:
=T*F|F，F:
=F↑P|P，P:
=（T）|a，下列符号串中是该文法句型T*P↑（T*F）的直接短语是哪个（）。
（T*F）
T*F
P↑
P↑（T*F）
14：
在设计布尔表达式翻译算法时，什么四元式表示当关系A1&
lt;
A2成立时，转向第p四元式（）。
（jnz，A1，，p）
（j&
，A1，A2，p）
（j，，，p）
（j，A1，A2，p）
15：
文法Z→ABb|c，A→Ba，B→Za中含有什么样的非终结符号（）。
直接左递归
直接右递归
间接左递归
间接右递归
16：
在BNF表示方法中，“→”表示什么（）。
恒等于
不等于
取决于
定义为
17：
不属于Chomsky观点分类的文法是什么（）。
上下文无关文法
算符优先文法
上下文有关文法
正规文法
18：
三元式（i）（op，arg1，arg2）表示形式中，什么表示该三元式的运算结果（）。
Op
arg1
arg2
序号（i）
19：
词法分析器的输入是什么（）。
单词串
源程序
语法单位
目标程序
20：
Bβ称为什么项目，其中B∈VN（）。
21：
在进行自底向上的语法分析时，一旦句柄在分析栈形成，它就必然出现在栈顶，而决不会出现在栈顶之下。
错误
正确
22：
利用含有左递归的文法进行自顶向下的语法分析，会使分析陷入循环不已的状态。
23：
一个句型的直接短语是唯一的。
24：
不存在这样的算法，它能判断任意的文法是否为LL
（1）文法。
25：
语法制导翻译模式既可用于自顶向下的语法分析，也可用于自底向上的分析。
26：
非LL
（1）语言（即不能由任何LL
（1）文法产生的前后文无关语言）是存在的。
27：
如果一个文法存在某个句子对应两棵不同的语法树，则称这个文法是二义性的。
28：
若在某项目集中，既含有移进项目，又含有归约项目，则反映到LR（0）分析表中就会出现具有多重定义的元素。
29：
对基本块进行分析的一种有效数据结构是无回路有向图DAG。
30：
对于非LL
（1）文法G，无法为G构造一个预测分析表。
31：
字母表A的自反传递闭包就是A上所有符号串所组成的集合。
32：
一个复杂的表达式须由多个四元式构成的序列来表示。
33：
存在这样的前后文无关语言，用来定义该语言的一切文法都是二义性的。
34：
产生式是用于定义文法的一种书写规则。
35：
循环是指程序中的一个能被重复执行的代码序列。
36：
一个BASIC解释程序和编译程序的不同在于，解释程序由语法制导翻译成目标代码并立即执行之，而编译程序需产生中间代码及优化。
37：
空符号串ε与任何符号串x的连接还是x本身。
38：
若由文法G所构造出的LL
（1）分析表中不含有多重定义的元素，则可断定文法G一定是LL
（1）文法。
39：
一个状态转换图实际上是相应的确定有限自动机的一种形式描述。
40：
若给定文法G和某个固定的k，则G是否是LR（k）文法是可判定的。
升级会员 