一个上下文无关文法G包括哪四个组成部分？

A.句子

B.产生式

C.单词

D.句型

A．字符串

B．产生式

C．开始符号

D．文法

语言L（G）={| m≥n ≥0 } 的上下文无关文法中的产生式包括：S→aSb， ，和S→ε

A.句子

B.句型

C.产生式

D.单词

程序设计语言包括()等几个方面，它的基本成分包括()。Chomsky(乔姆斯基)提出了形式语言的分层理论，他定义了4类文法：短语结构文法、上下文有关文法、上下文无关文法和正则文法。一个文法可以用一个四元组G=(∑，V，S，P)表示，其中，∑是终结符的有限字符表，V是非终结符的有限字母表，S(∈V)是开始符号，P是生成式的有限非空集。

在短语文法中，P中的生成式都是α→β的形式，其中α∈(C)，β∈(∑∪V)*。在上下文有关文法中，P中的生成式都是α₁A_α→α₂βα₂的形式，其中A∈()，β∈(∑∪V)*，β≠ε。在上下文无关文法中，P中的生成式的左部∈()。

供选择的答案：

A.1型(上下文有关)文法

B.2型(上下文无关)文法

C.定义标识符的3型(正规)文法

D.0型文法

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

(41) A．语法、语义

B．语法、语用

C．语义、语用

D．语法、语义、语用

(42) A．数据、传输、运算

B．数据、运算、控制

C．数据、运算、控制、传输

D．顺序、分支、循环

(43)A．V+

B．(∑∪V)

C．(∑∪V)*

D．(∑∪V)*V(∑∪V)*

(44) A．V

B．V+

C．∑∪V

D．(∑∪V)*

(45) A．V

B．V+

C．∑∪V

D．(∑∪V)*

● 程序语言的大多数语法现象可用上下文无关文法描述。对于一个上下文无关文法Ｇ=(N，T，P，S)，其中 N是非终结符号的集合，T 是终结符号的集合，P是产生式集合，S 是开始符号。令集合 V= N∪T，那么 G 所描述的语言是 （50） 的集合。

（50）

A. 从 S出发推导出的包含 V中所有符号的串

B. 从 S出发推导出的仅包含 T 中符号的串

C. N中所有符号组成的串

D. T 中所有符号组成的串

A.从S出发推导出的包含V中所有符号的串

B.T中所有符号组成的串

C.N中所有符号组成的串

D.从S出发推导出的仅包含T中符号的串