奥鹏作业编译原理在线作业20004文档格式.docx

奥鹏作业编译原理在线作业20004文档格式.docx

《奥鹏作业编译原理在线作业20004文档格式.docx》由会员分享，可在线阅读，更多相关《奥鹏作业编译原理在线作业20004文档格式.docx（9页珍藏版）》请在冰豆网上搜索。

当一文法具有左递归的非终结符号A,且A出现在某产生式右部时其左侧有符号B,则在B和A之间的简单优先关系是什么关系（）。

等于

低于

等于和低于

没有

C

设有文法G[E]：

E→E+E∣E*E∣（E）∣i，文法G[E]属于什么文法（）。

算符优先文法

简单优先文法

正则文法

二义性文法

D

在自底向上的语法分析方法中，分析的关键是什么（）。

寻找句柄

寻找句型

消除递归

选择候选式

E→E+T|T，T→T*F|F，F→（E）|i，则终结符*和+之间的算符优先关系是什么（）。

大于

小于

无关系

我们把右部仅含一个非终结符号的产生式，称为什么产生式（）。

无用

有用

奇

单

在一个规范句型中，位于句柄右边的符号（如果有的话）必然是什么（）。

非终结符号

终结符号

开始符号

空符号串

B

文法G：

S→xSx|y所识别的语言是（）。

xy*x

（xyx）*

xx*yxx*

x*yx*

一个句型中的句柄指的是最左什么（）。

短语

直接短语

素短语

一个状态转换图是由一组矢线连接的有限个结点所组成的什么（）。

有向图

无向图

无回路有向图

强连通的有向图

DFA中定义了一个从K×

Σ到K的单值映射f，指明若当前的状态为P，而输入字符为a时，则下一个状态是Q,f记为什么（）。

f（P,Q）=a

f（P,a）=Q

f（Q,a）=P

f（a,P）=Q

当某变量出现在赋值号左侧时，代表的是什么（）。

为其分配的单元地址

该单元内存放的具体内容

该变量的语义信息

该变量的序号

构造LR（0）分析表时，若哪个项目属于I，则对文法的任何终结符号或句子的右界符#（将它们统一地记为a），置ACTION[I,a]=r（）。

归约项目A→α?

待约项目A→α?

Xβ

移进项目A→α?

aβ

接受项目S′→S?

句型是由什么推导出的符号串（）。

非终结符

终结符

任何符号

设有文法G［S］:

S→Ac|b，A→cAS|bS，则文法G不满足LL

（1）文法的哪个条件（）。

第一个

第二个

第三个

所有

在PASCAL语言中的FOR循环语句的代码结构中，需使用几个无条件转向四元式（）。

0个

1个

2个

3个

对于含有冲突的项目集I，在构造分析表时，如果能根据不同的什么符号a，将I中各项目所对应的分析动作加以区分，那么就有可能使冲突得到解决（）。

输入

栈顶

向前

栈底

基本块的性质中包含哪一条（）。

只有一个入口语句和一个出口语句

有一个入口语句和多个出口语句

有多个入口语句和一个出口语句

有多个入口语句和多个出口语句

LR（K）方法是什么样的方法（）。

从左到右分析，每次走K步的一种编译方法

从左到右分析，共经过K步的一种编译方法

从左到右分析，每次向前预测K步的一种编译方法

从左到右分析，每次向前看K个输人符号的一种语法分析方法。

自底向上分析时，若分析成功，则分析栈中只剩下什么（）。

界符#及开始符号S

开始符号S

界符#号

当前的输入符号

语法制导翻译模式既可用于自顶向下的语法分析，也可用于自底向上的分析。

错误

正确

1型文法常用来描述一个程序设计语言的单词结构。

对任何一个编译程序来说，产生中间代码是不可缺少的。

逆波兰表示只能用于表示表达式，不能用于表示其它的语法结构。

若G是已化简的文法，则G中的每一符号X至少在一个句子中出现。

一个仅能处理绝对正确源程序的编译程序才具有实用价值。

已经证明文法的二义性是可判定的。

若一个文法G含有既是左递归亦是右递归的非终结符号，则G必定是无二义性文法。

存在这样的前后文无关语言，用来定义该语言的一切文法都是二义性的。

若给定文法G，则是否存在一个k使得G是一个LR（k）文法的问题是不可判定的。

用分层法消除多重优先关系时，由于改写文法引入一些单产生式，将增加文法的复杂性和降低语法分析的效率。

每个句子都有规范推导。

语法树中各结点只能以终结符号来标记。

汇编程序不是一种翻译程序。

一个NFA对符号串的识别是一个试探的过程。

不过，这种不确定性给识别过程带来的反复，不会影响到FA的工作效率。

有限自动机和正规式不能作为设计扫描器的工具。

移进-归约分析过程中可能采取的动作不外四种，即移进、归约、接受和报错。

每个文法都能改写为LL

（1）文法。

词法分析程序无法自动生成，只能用手工的方式构造。

一个二义性文法所描述的语言不是唯一的。