2-1
一个正规语言可能对应多个正规文法。 这个说法( )。 (3分)
- 对
- 错
- 无法判断
2-2
设有穷自动机的状态图如图所示,其中,状态①为开始状态,状态③为终止状态。下述正规表达式中 ( )不可被该有穷自动机接受。 (3分)
- 1(01)*00
- 1(101)*00
- 11(01)*1
- 0(10)*0
2-3
两个有穷自动机等价是指它们的( ) (3分)
- 状态数相等
- 有向弧数相等
- 所识别的语言相等
- 状态数和有向弧数相等
2-4
对于任一给定的NFA M,( )一个DFA M′,使L(M)= L(M′)。 (3分)
- 一定不存在
- 一定存在
- 可能存在
- 可能不存在
2-5
为正规式(a|b)*a(a|b)构造一个非确定有限自动机,请问( )选项正确 。 (3分)
-
→
2-6
设字母表为{A,B,0,1},则字母表上描述“数”的概念的正规式为( ) (x*表示x的方幂) (3分)
- (0|1)∗(01)(0|1)*
- (01)∗(0|1)(01)*
- (0|1)(0|1)*
- (0 1)(0|1)*
2-7
已知有限自动机如图所示,有一状态集I={X},则ε_closure(I)为( )。 (3分)
- {X,1,2}
- {X}
- {X,1,2,3}
- {1,2}
2-8
( ) 不是DFA的成分。 (3分)
- 非空有限状态集合
- 终止状态集合
- 初始状态集合
- 有穷字母表
2-9
词法分析器用于识别( )。 (3分)
- 语句
- 标识符
- 单词
- 字符串
2-10
设字母表为{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-11
( )这样一些语言,它们能被确定的有穷自动机识别,但不能用正则表达式表示。 (3分)
- 存在
- 不存在
- 无法判定是否存在
- 三种答案均不正确
2-12
词法分析器不能( )。 (3分)
- 识别出数值常量
- 过滤源程序中的注释
- 扫描源程序并识别记号
- 发现括号不匹配
2-13
已知一有限自动机如图所示,有一状态集I={X,1,2},则Ia=( ) 。 (3分)
- {X,2,3}
- {1,2,3}
- {2,3}
- {1,2}
2-14
DFA M(见图)接受的字集为( )。 (3分)
- 以0开头的二进制数组成的集合
- 以0结尾的二进制数组成的集合
- 含奇数个0的二进制数组成的集合
- 含偶数个0的二进制数组成的集合
2-15
正规式 MI 和 M2 等价是指 ( )。 (3分)
- MI 和 M2 的状态数相等
- Ml 和 M2 的有向弧条数相等
- M1 和 M2 所识别的语言集相等
- Ml 和 M2 状态数和有向弧条数相等
2-16
为 正规式 1(0|1)*101构造一非确定有限自动机 , ( )选项正确。 (3分)
-
→
2-17
请给出描述在字母表{0,1}上的所有以00结束的串的正规式( )。(x∗表示x的方幂) (3分)
- (0∣1)∗00(0∣1)∗
- (0∗∣1∗)00
- (0∣1)∗00
- (01)∗00
2-18
一个正规式只能对应一个确定的有限状态自动机。 这个说法( )。 (3分)
- 对
- 错
- 无法判断
2-19
字母表为{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-20
词法分析器的输出结果是 ( )。 (3分)
- 单词在符号表中的位置
- 单词自身值
- 单词的种别编码和自身值
- 单词的种别编码
3-1
已知有限自动机如下图,现采用子集法对其进行确定化, (40分)
(1)确定化得到的状态转换矩阵如下表1所示,请选择( )将其补充完整;
表1 状态转换矩阵
(2)重命名后的状态转换矩阵是( );
(3)确定化后的DFA是( );(用状态转换图表示)
(4)对上面确定化后的DFA进行化简,化简过程如下表所示,请将其补充完整;
表2最小化过程
(5)化简后的最简DFA是( )。(用状态转换图表示)
- {X}
- {X,Y}
- {Y}
- Φ
-
→
- 确定化后的DFA
- 确定化后的DFA
- 确定化后的DFA
- {0 } { 1,2}
- {0,1} {2}
- {0}{1}{2}
- {1,2}a={Φ,2} {1,2}可细分为{1}{2}
- {1,2}b={2,2} 状态1和2等价,{1,2}不可细分
- {0,1}a={0,0} {0,1} b={1,1} 状态0和1等价,{0,1}不可细分
- {0,1}a={2,0} {0,1} b={1,1} 状态2和0不等价,{0,1} 可细分为{0}{1}
- 化简后的DFA
- 化简后的DFA
- 化简后的DFA
- 化简后的DFA
- 考察{1,2}