●文法G=({E}，{+，*，(，)，a}，P，E)，其中P由下列产生式组成E->E+E｜E*E｜(E)｜a。它生成由a，+，*，(，)组成的算术表达式，该文法在乔姆斯基分层中属于 (33) 型文法，其对应的自动机是 (34) ，如产生句子a*a+a，它的派生树是 (35) ，且最左派生由 (36) 种，该文法是 (37) 。(33) A．0B．1C．2D．3(34) A．下推自动机B．线性有界自动机C．图灵机D．有穷状态自动机(35) A．二叉树B．完全有界自动机C．三叉树D．四叉树(36) A．0B．

● 对给定文法G=（VN，VT， P，S），VT={a，Λ，(，)}，VN={S，T}，S是开始符号，

P:

S→a|Λ|(T)

T→T,S|S

则（1）不是它的句子。该文法是（2）型文法。

（1）A. (a,(a,a)) B. (((a,a), Λ,(a)),a) C. ((a,a), Λ) D. ((a,a),(T))

（2）A．0型文法 B．1型文法 C．2型文法 D．正规文法

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

(40)

A．确定的有限自动机

B．图灵机

C．非确定的下推自动机

D．非确定的有限自动机

E．有限自动机

如果文法G是无二义的，则它的任何句子α(25)。

A．最左推导和最右推导对应的语法树必定相同

B．最左推导和最右推导对应的语法树可能不同

C．最左推导和最右推导必定相同

D．可能存在两个不同的最左推导，但它们对应的语法树相同

文法G=(VT，VN，P,S)的类型由C中的(32)决定。若GO=({a，b}，{S，X，Y}，P,S)，P中的产生式及其序号如下：

1：S→XaaY

2：X→Dqb

3：Y→XbXla

则GO为(33)型文法，对应于(34)，由GO推导出句子aaaaa和baabbb时，所用产生式序号组成的序列分别为(35)和(36)。

A．VT

B．VN

C．P

D．S

假设某程序语言的文法如下：

S→a｜b｜(T)

T→TdS｜S

其中：VT={a，b，d，(，)}，VN{S，T}，S是开始符号。

考查该文法，称句型(Sd(T)db)是S的一个(33)，其中，(34)是句柄：(35)是素短语；(36)是该句型的直接短语；(37)是短语。

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是(27)文法，识别G的自动机为(28)。对于G来说，(29)为文法G可接受的字符串，(30)为文法G不可接受的字符串。

供选择的答案：

A．短语

B．上下文有关

C．上下文无关

D．正则

● 由某上下文无关文法M[S]推导出某句子的分析树如下图所示，则错误的叙述是 （50） 。

（50）A. 该文法推导出的句子必须以“a”开头

B. acabcbdcc 是该文法推导出的一个句子

C. “S->aAcB”是该文法的一个产生式

D. a、b、c、d属于该文法的终结符号集

有限状态自动机可用5元组(VT，Q，δ，q0，Qf)来描述，它可对应于(28)。设有一有限状态自动机M的定义如下：

VT＝{0，1}，Q＝{q0，q1，q2)

δ定义为：

δ(q0，0)=q1 δ(q1，0)=q2

δ(q2，1)=q2 δ(q2，1)=q2

Qf={q2}。

M是一个(29)有限状态自动机，它所对应的状态转换图为(30)，它所能接受的语言可以用正则表达式表示为(31)，其含义为(32)。

A．0型文法

B．1型文法

C．2型文法

D．3型文法

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

A．确定的有限自动机

B．图灵机

C．非确定的下推自动机

D．非确定的有限自动机

E．有限自动机

_____

A．图灵机

B．下推自动机

C．其他自动机

D．有限状态自动机

A．

B．

C．

D．

Chomsky定义的四种形式语言文法中，2型语言可由()识别。

A、短语结构文法

B、前后文无关文法

C、前后文有关文法

D、正规文法

E、图灵机

F、有限自动机

G、下推自动机

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

A．线性有限自动机

B．非确定的下推自动机

C．图灵机

D．有限自动机

A.可能存在两个不同的最左推导

B.可能存在两个不同的最右推导

C.最左推导和最右推导对应的语法树不同

D.仅存在一个最左推导和一个最右推导

文法G＝({E),{+,*,(,),a},P,E)，其中P由下列产生式组成E-＞E+E|E*E|(E)|a。它生成由a,+,*,(,)组成的算术表达式，该文法在乔姆斯基分层中属于(16)型文法，其对应的自动机是(17)，如产生句子a*a+a，它的派生树是(18)，且最左派生由(19)种，该文法是(20)。

A．0

B．1

C．2

D．3

文法G=({E}，{+，*，(，)，a}，P，E)，其中P由下列产生式组成E-＞E+E|E*E|(E)|a。它生成由a，+，*，(，)组成的算术表达式，该文法在乔姆斯基分层中属于(33)型文法，其对应的自动机是(34)，如产生句子a*a+a，它的派生树是(35)，且最左派生由(36)种，该文法是(37)。

A．0

B．1

C．2

D．3

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

A．确定的有穷自动机

B．图灵机

C．非确定的下推自动机

D．非确定的有穷自动机

E．有穷自动机

在形式语言中，文法G是一个四元组G=(VN，Vr，P，Z)，其中VN为(6)。若文法C的产生式集P为：

(1)Z→Bc (2)Z→Zc (3)B→Ab (4)B→Bb (5)A→Aa (6)A→a

则文法G是(7)文法，识别G的自动机为(8)。对于G来说，(9)为文法G可接受的字符串，(10)为文法G不可接受的字符串。

供选择的答案：

A．状态标志符

B．开始符

C．语句集

D．非终结符集合

程序设计语言包括(41)等几个方面，它的基本成分包括(42)。Chomsky(乔姆斯基)提出了形式语言的分层理论，他定义了四类文法：短语结构文法、上下文有关文法、上下文无关文法和正则文法。一个文法可以用一个四元组G=(∑，V,S，P)表示，其中，∑是终结符的有限字符表，y是非终结符的有限字母表，S(∈V)是开始符号，P是生成式的有限非空集。在短语文法中，P中的生成式都是α→β甲的形式，其中α∈(43)，β∈(∑∪V)*。在上下文有关文法中，户中的生成式都是α1Aα2→α1βα2的形式，其中A∈(44)，β∈(∑∪V*)，β≠。在上下文无关文法中，户中的生成式的左部正(45)。

A．语法、语义

B．语法、语用

C．语义、语用

D．语法、语义、语用