北邮形式语言与自动机四五章答案.docxVIP

北邮形式语言与自动机四五章答案

姓名：__________考号：__________

一、单选题(共10题)

1.有限自动机的状态转换图通常用来表示什么？()

A.正则表达式

B.有限自动机的状态

C.字符串集合

D.形式语言

2.以下哪个不是正则表达式中的运算符？()

A.*

B.+

C.?

D.

3.确定有限自动机（DFA）和不确定有限自动机（NFA）的主要区别是什么？()

A.DFA没有ε（空）转移，而NFA有

B.DFA的状态转换是确定的，而NFA的状态转换是不确定的

C.DFA只能识别正则语言，而NFA可以识别更广泛的语言

D.以上都是

4.一个正则表达式可以表示哪种类型的形式语言？()

A.上下文无关语言

B.正则语言

C.上下文有关语言

D.形式语言

5.以下哪个不是形式语言的三要素？()

A.字符集

B.字符串集合

C.生成规则

D.计算模型

6.在有限自动机中，ε-闭包操作的作用是什么？()

A.找到从当前状态可以到达的所有状态

B.找到从当前状态可以到达的所有状态，包括通过ε转移

C.找到从当前状态可以到达的所有状态，但不包括通过ε转移

D.以上都不对

7.以下哪个语言不是上下文无关语言？()

A.递归可枚举语言

B.上下文无关语言

C.形式语言

D.递归语言

8.以下哪个算法可以用来确定一个给定的语言是否是正则语言？()

A.空闲状态消除算法

B.确定有限自动机到正则表达式的转换算法

C.转换上下文无关文法到确定有限自动机的算法

D.以上都是

9.以下哪个不是形式语言理论中的概念？()

A.字符集

B.字符串

C.算法

D.生成规则

10.在形式语言中，递归可枚举语言和递归语言的关系是什么？()

A.递归可枚举语言是递归语言的子集

B.递归语言是递归可枚举语言的子集

C.两者没有关系

D.以上都不对

二、多选题(共5题)

11.以下哪些是有限自动机的特点？()

A.状态转换是确定的

B.只能识别正则语言

C.有明确的状态转换函数

D.可以有多个初始状态

12.以下哪些是形式语言理论中的概念？()

A.字符集

B.字符串

C.形式系统

D.形式化方法

13.以下哪些语言属于上下文无关语言？()

A.递归语言

B.上下文无关语言

C.形式语言

D.递归可枚举语言

14.以下哪些是确定有限自动机的性质？()

A.状态转换是确定的

B.只有一个初始状态

C.每个状态都有唯一的标识符

D.必须接受所有可能的输入

15.以下哪些操作可以应用于有限自动机？()

A.ε-闭包

B.空闲状态消除

C.转换为正则表达式

D.转换为上下文无关文法

三、填空题(共5题)

16.在有限自动机中，一个状态可以同时属于多个等价类，这种等价类被称为______。

17.确定有限自动机（DFA）与不确定有限自动机（NFA）的主要区别在于______。

18.正则表达式中的符号“*”表示______。

19.形式语言理论中，一个语言能够被识别，当且仅当存在一个______能够接受该语言。

20.上下文无关文法中的产生式规则通常表示为______，其中A是产生式的左部符号，α是右部符号序列。

四、判断题(共5题)

21.有限自动机能够识别所有正则语言。()

A.正确B.错误

22.递归语言一定包含在递归可枚举语言中。()

A.正确B.错误

23.一个语言如果是上下文无关的，那么它一定可以用正则表达式表示。()

A.正确B.错误

24.所有形式语言都可以用递归自动机识别。()

A.正确B.错误

25.不确定有限自动机（NFA）中的ε（空）转移可以增加语言的识别能力。()

A.正确B.错误

五、简单题(共5题)

26.请解释有限自动机（FA）与正规表达式（RE）之间的关系，并说明如何将一个有限自动机转换为对应的正规表达式。

27.什么是上下文无关文法（CFG），请举例说明。

28.为什么说递归可枚举语言是递归语言的一个子集？请给出一个例子。

29.请解释DFA（确定性有限自动机）与NFA（非确定性有限自动机）在状态转换上的主要区别。

30.什么是泵引理（PumpingLemma），它有什么用途？

北邮形式语言与自动机四五章