●程序设计语言包括 (41) 等几个方面,它的基本成分包括 (42) 。Chomsky(乔姆斯基)提出了形式语言的

Question

●程序设计语言包括 (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)*

Answer 1

正确答案：D,C,D,A,A

【解析】Chomsky提出了形式语言的分层理论，他定义了4类文法：短语结构文法、上下文有关文法、上下文无关文法和正则文法。一个文法G可以用一个四元组G=(V_T，V_N，S，P)来表示，其中VT是终结符的有限字符集，VN是非终结符的有限字母表，S∈VN是文法的开始符号，P是形如α→β的形式，如果P中的产生式都是α→β的形式，其中α∈(V_T∪V_N)*V_N(V_T∪V_N)*，β∈(V_T∪V_N)*，则称该文法为短语文法；如果P中的产生式都是αAδ→αβδ的型式，其中A∈V_N，α和δ∈(V_T∪V_N)*，β∈(V_T∪V_N)⁺，则称该文法是上下文有关文法；如果P中的产生式都是α→β的形式，其中A∈V_N，B∈(V_T∪V_N)*，则称该文法为上下无关文法；如果P中的产生式都是A→α或A→αB的形式，其中A和B∈V_N，α∈V_T*，则称该文法为正则文法。