软件水平考试
乔姆斯基（Chomsky）将文法分为4种类型，程序设计语言的大多数语法现象可用其中的（ ）描述A.上下文有关文法 B.上下文无关文法 C.正规文法 D.短语结构文法
题目
B.上下文无关文法
C.正规文法
D.短语结构文法
相似问题和答案
第1题：
A.正规文法
B.上下文无关文法
C.上下文有关文法
D.短语结构文法
第2题：
根据乔姆斯基于20世纪50年代建立的形式语言的理论体系，文法被分为4种类型，即0型(短语文法)、1型(上下文有关文法)、2型(上下文无关文法)和3型(正规文法)。其中，2型文法与(1)等价，所以有足够的能力描述多数现今程序设计的语言的语法结构。一个非确定的有穷自动机必存在一个与之等价的(2)。从文法描述语言的能力来说，(3)最强，(4)最弱，由4类文法的定义可知(5)必是2型文法。
A．确定的有穷自动机
B．图灵机
C．非确定的下推自动机
D．非确定的有穷自动机
E．有穷自动机
第3题：
(2)语言不是一个封闭的系统，而是一个具有生成性的系统
(3)所有语言的底层结构都包含有共同的元素，而这些共同的元素可能反映了先天的认知组织规则。这些认知组织规则可能直接影响了语言的学习和生成
(4)语言的发展不能用刺激-反应的术语来解释
(5)表层结构，真实句子可以被分割和标记的那部分
(6)深层结构，包含了更多意义和信息的底层形式
(7)转换规则，将一个结构转换到另一个结构中去的规则
(8)如“猫被狗追”和“狗追猫”，这两句深层结构相同(意思)，表层结构不同。
(9)语言是生成性的，因为有很多种方式说同一件事情
第4题：
对于大多数通用程序设计语言，用 (50) 描述其语法即可。
A.正规文法
B.上下文无关文法
C.上下文有关文法
D.短语结构文法
本题考查程序语言的基础知识。乔姆斯基(Cbomsky)把文法分成四种类型，即O型、1型、2型和3型。0型文法也称为短语文法，其能力相当于图灵机，任何0型语言都是递归可枝举的；反之，递归可枚举集也必定是一个0型语言。1型文法也称为上下文有关文法，这种文法意味着对非终结符的替换必须考虑上下文。2型文法就是上下文无关文法，非终结符的替换无需考虑上下文。3型文法等价于正规式，因此也被称为正规文法或线性文法。通用程序设计语言的大多数语法可由上下文无关文法表示。
第5题：
大多数程序设计语言的语法规则用（ ）描述即可。
A.正规文法 B.上下文无关文法 C.上下文有关文法 D.短语结构文法
第6题：
A、洪堡特
B、索绪尔
C、乔姆斯基
D、布洛卡
第7题：
程序设计语言包括(41)等几个方面，它的基本成分包括(42)。Chomsky(乔姆斯基)提出了形式语言的分层理论，他定义了四类文法：短语结构文法、上下文有关文法、上下文无关文法和正则文法。一个文法可以用一个四元组G=(∑，V,S，P)表示，其中，∑是终结符的有限字符表，y是非终结符的有限字母表，S(∈V)是开始符号，P是生成式的有限非空集。在短语文法中，P中的生成式都是α→β甲的形式，其中α∈(43)，β∈(∑∪V)*。在上下文有关文法中，户中的生成式都是α1Aα2→α1βα2的形式，其中A∈(44)，β∈(∑∪V*)，β≠
。在上下文无关文法中，户中的生成式的左部正(45)。
A．语法、语义
B．语法、语用
C．语义、语用
D．语法、语义、语用
第8题：
●程序设计语言包括 (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*，则称该文法为正则文法。
第9题：
乔姆斯基(Chomsky)将文法分为4种类型，程序设计语言的大多数语法现象可用其中的( )描述。
A.上下文有关文法
B.上下文无关文法
C.正规文法
D.短语结构文法
第10题：
转换生成语法理论的创始人是（）
（A）斯金纳
（B）班杜拉
（C）皮亚杰
（D）乔姆斯基