文法和语言存在如下关系：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.句子文法

在Chomsky定义的4种形式语言文法中，0型文法又称为(51)文法；1型文法又称为(52)文法；2型语言可由(53)识别。

A．短语结构文法

B．上下文无关文法

C．上下文有关文法

D．正规文法

对于大多数通用程序设计语言，用 (50) 描述其语法即可。

A.正规文法

B.上下文无关文法

C.上下文有关文法

D.短语结构文法

正规文法产生的语言都不可以用上下文无关文法来描述。()

正规文法不能产生语言L={anbn|n≥l｝。()

AS

BB

C(T)

DSD(T)

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

S→SaT|T

T→TbR|R

R→PdR|P

P→fSg|e

其中Vr＝{a，b，d，e，f，g}；Vn＝{S，T，R，P}；S是开始符号，那么，此文法是(43)文法。这种文法的语法分析通常采用优先矩阵。优先矩阵给出了该文法中各个终结符之间的优先关系(大于、小于、等于和无关系)。在上述文法中，某些终结符之间的优先关系如下：b{(44)}a；f{(45)}g；a{(46)}a；d{(47)}d。

A．五则文法

B．算符文法

C．二义文法

D．属性文法

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

A．确定的有穷自动机

B．图灵机

C．非确定的下推自动机

D．非确定的有穷自动机

E．有穷自动机

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

S→SaT｜T

T→TbR｜R

T→PdR｜P P→fSg｜e

其中：VT={a，b，d，e，f，g}，VN{S，T，R，P}，S是开始符号。那么，此方法是(38 方法。这种文法的语法分析通常采用优先矩阵，优先矩阵给出了该文法中各个终结符之间的优先关系 (大于，小于，等于，无关系)。在上述文法中，某些终结符之间的优先关系如下：

b(39)a：f(40)g；a(41)a；d(42)d。

A．正规文法

B．算符文法

C．二义文法

D．属性文法