程序设计语言包括(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.语法、语义、语用
第1题:
Chomsky定义的四种形式语言文法中,2型语言可由()识别。
A、短语结构文法
B、前后文无关文法
C、前后文有关文法
D、正规文法
E、图灵机
F、有限自动机
G、下推自动机
第2题:
根据乔姆斯基于20世纪50年代建立的形式语言的理论体系,语言的文法被分为4种类型,即0型(短语文法),1型(上下文有关文法)、2型(上下文无关文法)和3型(正规文法)。其中,2型文法与(28)等价,所以有足够的能力描述多数现今程序设计的语言的句法结构。一个非确定的有限自动机必存在一个与之等价(29)。从文法描述语言的能力来说,(30)最强,(31)最弱,由4类文法的定义可知:(32)必是2型文法。
A.线性有限自动机
B.非确定的下推自动机
C.图灵机
D.有限自动机
第3题:
根据乔姆斯基于20世纪50年代建立的形式语言的理论体系,文法被分为4种类型,即0型(短语文法)、1型(上下文有关文法)、2型(上下文无关文法)和3型(正规文法)。其中,2型文法与(1)等价,所以有足够的能力描述多数现今程序设计的语言的语法结构。一个非确定的有穷自动机必存在一个与之等价的(2)。从文法描述语言的能力来说,(3)最强,(4)最弱,由4类文法的定义可知(5)必是2型文法。
A.确定的有穷自动机
B.图灵机
C.非确定的下推自动机
D.非确定的有穷自动机
E.有穷自动机
第4题:
大多数程序设计语言的语法规则用( )描述即可。
A.正规文法 B.上下文无关文法 C.上下文有关文法 D.短语结构文法
第5题:
对于大多数通用程序设计语言,用 (50) 描述其语法即可。
A.正规文法
B.上下文无关文法
C.上下文有关文法
D.短语结构文法
第6题:
对于大多数通用程序设计语言,用()描述其语法即可。
第7题:
文法分为四种类型,即0型、1型、2型、3型。其中2型文法是()。
第8题:
对正规文法描述的语言,以下()有能力描述它。
第9题:
3型文法是()是语法分析使用的文法。
第10题:
短语文法
正则文法
上下文有关文法
上下文无关文法
第11题:
短语文法
上下文有关文法
上下文无关文法
正规文法
第12题:
短语结构文法
前后文无关文法
前后文有关文法
正规文法
第13题:
Chomsky定义的四种形式语言文法中,0型文法又称为什么文法()。
A、短语结构
B、前后文无关
C、前后文有关
D、正规
第14题:
A.上下文有关文法
B.上下文无关文法
C.短语文法
D.句子文法
第15题:
在Chomsky定义的4种形式语言文法中,0型文法又称为(51)文法;1型文法又称为(52)文法;2型语言可由(53)识别。
A.短语结构文法
B.上下文无关文法
C.上下文有关文法
D.正规文法
第16题:
乔姆斯基(Chomsky)将文法分为4种类型,程序设计语言的大多数语法现象可用其中的( )描述。
A.上下文有关文法
B.上下文无关文法
C.正规文法
D.短语结构文法
第17题:
第18题:
四种形式语言文法中,1型文法又称为()文法。
第19题:
1型文法也称为()。
第20题:
2型文法也称为()。
第21题:
正规文法
上下文无关文法
上下文有关文法
短语结构文法
第22题:
短语文法
上下文无关文法
右线性文法
左性性文法
第23题:
短语文法
上下文有关文法
右线性文法
左性性文法