2型文法也称为（）。A、短语文法B、上下文无关文法C、右线性文法D、左性性文法
2型文法也称为（）。
- A、短语文法
- B、上下文无关文法
- C、右线性文法
- D、左性性文法
相关考题：
●根据乔姆斯基于20世纪50年代建立的形式语言的理论体系，语言的文法被分为4种类型，即0型(短语文法)，1型(上下有关文法)、2型(上下文无关文法)和3型(正规文法)。其中，2型文法与 (28) 等价，所以有足够的能力描述多数现今程序设计的语言的句法结构。一个非确定的有限自动机必存在一个与之等价 (29) 。从文法描述语言的能力来说， (30) 最强， (31) 最弱，由4类文法的定义可知： (32) 必是2型文法。(28) A．线性有限自动机B．非确定的下推自动机C．图灵机D．有限自动机(29) A．确定的有限自动机B．图灵机C．非确定的下推自动机D．非确定的有限自动机(30) A．1型文法B．2型文法C．3型文法D．0型文法(31) A．3型文法B．2型文法C．0型文法D．1型文法(32) A．1型文法B．0型文法C．3型文法D．2型文法
程序设计语言包括(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型文法也称为（）。A短语文法B上下文有关文法C右线性文法D左性性文法