A.非限制文法
B.正则文法
C.上下文有关文法
D.上下文无关文法
乔姆斯基(Chomsky)将文法分为4种类型,程序设计语言的大多数语法现象可用其中的()描述。
A.上下文有关文法
B.上下文无关文法
C.正规文法
D.短语结构文法
程序设计语言包括()等几个方面,它的基本成分包括()。Chomsky(乔姆斯基)提出了形式语言的分层理论,他定义了4类文法:短语结构文法、上下文有关文法、上下文无关文法和正则文法。一个文法可以用一个四元组G=(∑,V,S,P)表示,其中,∑是终结符的有限字符表,V是非终结符的有限字母表,S(∈V)是开始符号,P是生成式的有限非空集。
在短语文法中,P中的生成式都是α→β的形式,其中α∈(C),β∈(∑∪V)*。在上下文有关文法中,P中的生成式都是α1Aα→α2βα2的形式,其中A∈(),β∈(∑∪V)*,β≠ε。在上下文无关文法中,P中的生成式的左部∈()。
供选择的答案:
根据乔姆斯基20世纪50年代建立的形式语言的理论体系,语言的文法被分为四种类型,即:O型(上下文有关文法)、1型(上下文相关文法)、2型(上下文无关文法)和3型(正规文法)。其中2型文法与(66)等价,所以有足够的能力描述多数现今程序设计的语言的句法结构。一个非确定的有限自动机必存在一个与之等价(67)。从文法描述语言的能力来说,(68)最强,(69)最弱,由四类文法的定义可知:(70)必是2型文法。
(40)
A.确定的有限自动机
B.图灵机
C.非确定的下推自动机
D.非确定的有限自动机
E.有限自动机
●程序设计语言包括 (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)*
A、For Chomsky
B、In Chomsky’s opinion
C、In Chomsky’s view
D、Chomsky believed
为了保护您的账号安全,请在“简答题”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!