2-1
一个正规式只能对应一个确定的有限状态自动机。 这个说法( )。 (3分)
- 对
- 错
- 无法判断
2-2
已知有限自动机如下图, 有一状态集I={0,1},则Ib为( ) 。 (3分)

- {0,1}
- {0}
- φ
- {1}
2-3
已知一个有限状态自动机M的状态图,M有开始状态0和接受状态4。请问下述哪一个实数可被M接受?( )。 (3分)

- +.47
- +.47
- -11.47
- .5
2-4
请给出描述在字母表{0,1}上的所有以00结束的串的正规式( )。(x∗表示x的方幂) (3分)
- (0∣1)∗00(0∣1)∗
- (0∗∣1∗)00
- (0∣1)∗00
- (01)∗00
2-5
DFA M(见图)接受的字集为( )。
(3分)
- 以0开头的二进制数组成的集合
- 以0结尾的二进制数组成的集合
- 含奇数个0的二进制数组成的集合
- 含偶数个0的二进制数组成的集合
2-6
词法分析器的加工对象是()。 (3分)
- 中间代码
- 单词
- 源程序
- 元程序
2-7
如图所示自动机M,请问下列哪个字符串不是M所能识别的( )。
(3分)
- bbaa
- abba
- abab
- aabb
2-8
设字母表为{A,B,0,1},则字母表上描述“标识符”的概念的正规式为( )。(x*表示x的方幂) (3分)
- (A B)(A|B|0|1)*
- (A|B)*(A|B|0|1)
- (A|B)(A|B|0|1 )
- (A|B)(A|B|0|1)*
2-9
词法分析器用于识别( )。 (3分)
- 语句
- 标识符
- 单词
- 字符串
2-10
词法分析器不能( )。 (3分)
- 识别出数值常量
- 过滤源程序中的注释
- 扫描源程序并识别记号
- 发现括号不匹配
2-11
词法分析所依据的是 ( )。 (3分)
- 语义规则
- 词法规则
- 语法规则
- 等价变换规则
2-12
已知有限自动机如下图, 有一状态集I={Q,U},则I1为( ) 。 (3分)

- {V}
- {V,Z}
- {Q,U,Z}
- {Q,U,V,Z}
2-13
词法分析器的输出结果是 ( )。 (3分)
- 单词在符号表中的位置
- 单词自身值
- 单词的种别编码和自身值
- 单词的种别编码
2-14
字母表为{a,b},则所有含有两个相继a或两个相继b组成的串的正规式表示为( )。(x*表示x的方幂) (3分)
- (ab)∗(aa|bb)(ab)*
- (aa|bb)(a|b)*
- (a|b)∗(aa|bb)(a|b)*
- (a|b)∗(ab)(a|b)*
2-15
正规式 MI 和 M2 等价是指 ( )。 (3分)
- MI 和 M2 的状态数相等
- Ml 和 M2 的有向弧条数相等
- M1 和 M2 所识别的语言集相等
- Ml 和 M2 状态数和有向弧条数相等
2-16
已知一有限自动机如图所示,有一状态集I={X,1,2},则Ia=( ) 。 (3分)

- {X,2,3}
- {1,2,3}
- {2,3}
- {1,2}
2-17
对于任一给定的NFA M,( )一个DFA M′,使L(M)= L(M′)。 (3分)
- 一定不存在
- 一定存在
- 可能存在
- 可能不存在
2-18
同正规式(a|b)+ 等价的正规式是( )。 (3分)
- (a|b)(a∣b)∗
- (ab)∗(ab)
- (a∣b)∗
- (a|b)|(a∣b)∗
2-19
已知正规式为(0|10)*, 构造它的NFA为( )。 (3分)
-

-
→


2-20
为正规式(a|b)*a(a|b)构造一个非确定有限自动机,请问( )选项正确 。 (3分)

-
→



3-1
已知有限自动机如下图,现采用子集法对其进行确定化,
(40分)
(1)确定化得到的状态转换矩阵如下表1所示,请选择合适的选项将(①--④ )补充完整;
表1 状态转换矩阵

(2)重命名后的状态转换矩阵是( );
(3)确定化后的DFA是( );(用状态转换图表示)
(4)对上面确定化后的DFA进行化简,化简过程如下表2所示,请选择合适的选项将(⑤--⑩ )补充完整;
表2最小化过程

(5)化简后的最简DFA是( )。(用状态转换图表示)
- {S}
- {S,A}
- {S,A,B}
- {S,B}
- {A,B}
- {A}
-
→



-
→



- {0,1} { 2,3}
- {0,1,2} {3}
- {0,1}0={0,0} , {0,1}1={1,2} , {0,1}细分为{0}和{1}
- 0,1}0={0,0} ,;{0,1}1={1,1}, {0,1}不能再细分。
- 考察{2,3};
- 考察{0,1,2}
- { 2,3}0={3,3}, { 2,3}1={2,2},{2,3}不能再细分
- {2,3}0={3,3} , { 2,3}1={1,2}, { 2,3}细分为{2}和{3}
- {0,1,2}0={1,0,3}, {0,1,2}1={0,1,2}, {0,1,2}可以细分为{0},{1},{2}
- {0} {1} {2,3}
- {0} {1} {2} {3}

-
→

- 考察{0,1}
这是一份关于编译原理的测试题,涵盖了有限状态自动机、正规式、词法分析等多个方面。题目包括选择题,涉及了语言识别、状态转换、正规式与DFA/NFA的关系等内容。通过解答这些题目,可以检验对编译原理的理解程度。


2241

被折叠的 条评论
为什么被折叠?



