第一章 单元测试
1、单选题：
编译是对（）程序进行翻译？
选项：
A:高级语言
B:汇编语言
C:自然语言
D:机器语言
答案: 【高级语言】
2、单选题：
()过程不是每个编译程序都必需的?
选项：
A:代码优化和目标代码生成
B:词法分析和语法分析
C:中间代码生成和代码优化
D:语义分析和中间代码生成
答案: 【中间代码生成和代码优化】
3、多选题：
编译程序各阶段的工作都涉及（）。
选项：
A:出错管理
B:语法分析
C:表格管理
D:代码生成
答案: 【出错管理;表格管理】
4、判断题：
目标代码生成阶段的工作与目标机器的体系结构密切相关。
选项：
A:对
B:错
答案: 【对】
5、判断题：
解释方式下，在机器上运行的目标程序完全独立于源程序。
选项：
A:对
B:错
答案: 【错】
第二章 单元测试
1、单选题：
词法分析器用于识别( )。
选项：
A:句型
B:单词
C:产生式
D:句子
答案: 【单词】
2、单选题：
将识别各类单词的有限自动机合并后得到的有限自动机（）。
选项：
A:一定是DFA
B:可能是NFA也可能是DFA
C:是最小的DFA
D:一定是NFA
答案: 【可能是NFA也可能是DFA】
3、多选题：
在词法分析中，能识别出( )
选项：
A:逆波兰式
B:基本字
C:四元式
D:常数
E:运算符
答案: 【基本字;常数;运算符】
4、判断题：
自动机M和M′的状态数不同，则二者必不等价。
选项：
A:错
B:对
答案: 【错】
5、判断题：
正规式(a|b)* 和(a*|b*)+等价。
选项：
A:错
B:对
答案: 【对】
第三章 单元测试
1、单选题：
语法分析时所依据的是（）
选项：
A:语法规则
B:等价变换规则
C:词法规则
D:语义规则
答案:
2、单选题：
同心集合并可能会产生新的 () 冲突
选项：
A:二义
B:移进-移进
C:移进-归约
D:归约-归约
答案:
3、多选题：
自上而下的分析方法有（）
选项：
A:非递归下降分析法
B:递归下降分析法
C:LL （1）分析法
D:SLR（1）分析法
E:LR （0）分析法
F:LALR （1）分析法
答案:
4、判断题：
在 LR分析法中，分析栈中存放的状态是识别规范句型前缀的DFA状态
选项：
A:错
B:对
答案:
5、判断题：
每个SLR(1)文法都是无二义性的
选项：
A:对
B:错
答案:
第四章 单元测试
1、单选题：
文法G及其语法制导翻译定义如下：
产生式 语义动作
S’→S print(S.num)
S →(L) S.num = L.num +1
S →a S.num = 0
L →L(1),S L.num = L(1).num + S.num
L →S L.num = S.num
若输入为( a,( a))，且采用自底向上的分析方法，则输出为( )。
选项：
A:2
B:0
C:1
D:4
答案:
2、单选题：
下列说法错误的是（）。
选项：
A:对于这个内嵌的语义动作，向文法中引入一个标记非终结符M来替换它
B:每个标记非终结符M对应M→ ε，该产生式对应着一段语义子程序，
它的任务就是完成M所替换的那个语义动作要完成的工作
C:语法制导定义可以看作是语法制导翻译方案的具体实施方案
D:语法制导翻译方案是在产生式右部中嵌入了语义动作的上下文无关文法
答案:
3、判断题：
在各个非终结符之前放置语义动作来计算它的继承属性， 并在产生式后端放置语义动作计算综合属性。
选项：
A:错
B:对
答案:
4、判断题：
L属性定义不能采用自下而上的方法计算。
选项：
A:对
B:错
答案:
请先 ！