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