[单项选择]

在形式语言中，若文法G的产生式集P为：
(1)Z→Bc(2)Z→Zc(3)B→Ab(4)B→Bb(5)A→Aa(6)A→a
则文法G是 (1) 文法，识别G的自动机为 (2) 。对于G来说， (3) 为文法G可接受的字符串， (4) 为文法G不可接受的字符串。
供选择的答案：

1（）
A. 短语
B. 上下文有关
C. 上下文无关
D. 正则

[单项选择]

在形式语言中，若文法G的产生式集P为：
(1)Z→Bc(2)Z→Zc(3)B→Ab(4)B→Bb(5)A→Aa(6)A→a
则文法G是 (1) 文法，识别G的自动机为 (2) 。对于G来说， (3) 为文法G可接受的字符串， (4) 为文法G不可接受的字符串。
供选择的答案：

2（）
A. 图灵机
B. 下推自动机
C. 有穷状态自动机
D. 线性界限自动机

[单项选择]

在形式语言中，文法G是一个四元组G=(VN，Vr，P，Z)，其中VN为 (1) 。若文法C的产生式集P为：
(1)Z→Bc (2)Z→Zc (3)B→Ab (4)B→Bb (5)A→Aa (6)A→a
则文法G是 (2) 文法，识别G的自动机为 (3) 。对于G来说， (4) 为文法G可接受的字符串， (5) 为文法G不可接受的字符串。
供选择的答案：

1（）
A. 状态标志符
B. 开始符
C. 语句集
D. 非终结符集合

[单项选择]

若文法G0=(a,b,S,X,Y,P,S)，P中的产生式及其序号如下，则G0为 (27) 型文法，对应于 (28) ，由G0推导出句子baabbb时，所用产生式序号组成的序列分别为 (29) 。
1：S→XaaY
2：X→YY|b
3：Y→XbX|a

（27）处填（）。
A. 0
B. 1
C. 2
D. 3

[单项选择]

科学研究中使用的形式语言和日常生活中使用的自然语言有很大的不同。形式语言看起来像天书，远离大众，只有一些专业人士才能理解和运用。但其实这是一种误解，自然语言和形式语言的关系就像肉眼与显微镜的关系。肉眼的视域广阔，可以从整体上把握事物的信息；显微镜可以帮助人们看到事物的细节和精微之处，尽管用它看到的范围小。所以，形式语言和自然语言都是人们交流和理解信息的重要工具，把它们结合起来使用，具有强大的力量。
以下哪项如果为真，最能支持上述结论（）

A. 通过显微镜看到的内容可能成为新的“风景”，说明形式语言可以丰富自然语言的表达，我们应重视形式语言。
B. 正如显微镜下显示的信息最终还是要通过肉眼观察一样，形式语言表述的内容最终也要通过自然语言来实现，说明自然语言更基础。
C. 科学理论如果仅用形式语言表达，很难被普通民众理解。同样，如果仅用自然语言表达，有可能变得冗长且很难表达准确。
D. 科学的发展很大程度上改善了普通民众的日常生活，但人们并没有意识到科学表达的基础——形式语言的重要性。
E. 采用哪种语言其实不重要，关键在于是否表达了真正想表达的思想内容。

[单项选择]

形式语言是用来描述模块具体 (15) 的非正式的比较灵活的语言，优点是接近 (16) 。

（16）处填（）。
A. 机器语言
B. 汇编语言
C. 高级语言
D. 自然语言

[单项选择]

形式语言是用来描述模块具体 (15) 的非正式的比较灵活的语言，优点是接近 (16) 。

（15）处填（）。
A. 算法
B. 结构
C. 行为
D. 状态

[单项选择]

根据乔姆斯基于20世纪50年代建立的形式语言的理论体系，语言的文法被分为 4种类型，即0型(短语文法)，1型(上下有关文法)、2型(上F文无关文法)和3型(正规文法)。其中，2型文法与 (56) 等价，所以有足够的能力描述多数现今程序设计的语言的句法结构。一个非确定的有限自动机必存在一个与之等价 (57) 。从文法描述语言的能力来说， (58) 最强， (59) 最弱，山4类文法的定义可知： (60) 必是2型文法。

（56）处填（）。
A. 确定的有限自动机
B. 图灵机
C. 非确定的下推自动机
D. 非确定的有限自动机
E. 有限自动机
F. 线性有限自动机