●程序设计语言包括 (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)*
【解析】Chomsky提出了形式语言的分层理论,他定义了4类文法:短语结构文法、上下文有关文法、上下文无关文法和正则文法。一个文法G可以用一个四元组G=(VT,VN,S,P)来表示,其中VT是终结符的有限字符集,VN是非终结符的有限字母表,S∈VN是文法的开始符号,P是形如α→β的形式,如果P中的产生式都是α→β的形式,其中α∈(VT∪VN)*VN(VT∪VN)*,β∈(VT∪VN)*,则称该文法为短语文法;如果P中的产生式都是αAδ→αβδ的型式,其中A∈VN,α和δ∈(VT∪VN)*,β∈(VT∪VN)+,则称该文法是上下文有关文法;如果P中的产生式都是α→β的形式,其中A∈VN,B∈(VT∪VN)*,则称该文法为上下无关文法;如果P中的产生式都是A→α或A→αB的形式,其中A和B∈VN,α∈VT*,则称该文法为正则文法。
第1题:
乔姆斯基(Chomsky)将文法分为4种类型,程序设计语言的大多数语法现象可用其中的( )描述。
A.上下文有关文法
B.上下文无关文法
C.正规文法
D.短语结构文法
第2题:
乔姆斯基认为,语言的结构包括()和()两方面。其中,()是句子的语法结构,而()是句子的意义结构。
第3题:
乔姆斯基语言学第五个时期,也即最简方案时期,乔姆斯基提出了语言使用系统的: “ 原则”。
第4题:
第5题:
美国语言学家乔姆斯基是转换生成语法的代表,他的贡献是提出了 的思想。