2026年计算机考研形式语言真题讲解.docxVIP

PAGE/NUMPAGES

2026年计算机考研形式语言真题讲解

考试时间：______分钟总分：______分姓名：______

一、单项选择题（每题2分，共20分。下列每小题的选项中，只有一项是符合题目要求的。）

1.下列哪一项不是形式语言理论的研究范畴？

A.语言的表达能力

B.语言的生成规则

C.语言的机器识别

D.语言的语法纠错

2.正则表达式(a+b)*a的语言L包含下列哪个字符串？

A.baa

B.abba

C.ccc

D.aab

3.有限自动机（FA）主要用于识别哪种类型的语言？

A.上下文无关语言

B.正则语言

C.递归可枚举语言

D.不可判定语言

4.下推自动机（PDA）与有限自动机的主要区别在于什么？

A.状态的数量

B.字符串的长度

C.具备一个堆栈

D.识别的语言类型

5.确定有限自动机（DFA）和不确定有限自动机（NFA）之间等价性的定理是？

A.哥德尔完备性定理

B.勒文斯坦定理

C.丘奇-图灵定理

D.希尔伯特第十问题

6.下推自动机（PDA）能够识别的语言类是？

A.正则语言

B.上下文无关语