●文法G=({E}，{+，*，(，)，a}，P，E)，其中P由下列产生式组成E-E+E｜E*E｜(E)｜a。它生成由a，+，*，(，)组成的算术表达式，该文法在乔姆斯基分层中属于 (33) 型文法，其对应的自动机是 (34) ，如产生句子a*a+a，它的派生树是 (35) ，且最左派生由 (36) 种，该文法是 (37) 。(33) A．0B．1C．2D．3(34) A．下推自动机B．线性有界自动机C．图灵机D．有穷状态自动机(35) A．二叉树B．完全有界自动机C．三叉树D．四叉树(36) A．0B．1C．2D．3(37) A．非二义性B．二义性C．单一性D．多义性
●文法G=({E}，{+，*，(，)，a}，P，E)，其中P由下列产生式组成E->E+E｜E*E｜(E)｜a。它生成由a，+，*，(，)组成的算术表达式，该文法在乔姆斯基分层中属于 (33) 型文法，其对应的自动机是 (34) ，如产生句子a*a+a，它的派生树是 (35) ，且最左派生由 (36) 种，该文法是 (37) 。
(33) A．0
B．1
C．2
D．3
(34) A．下推自动机
B．线性有界自动机
C．图灵机
D．有穷状态自动机
(35) A．二叉树
B．完全有界自动机
C．三叉树
D．四叉树
(36) A．0
B．1
C．2
D．3
(37) A．非二义性
B．二义性
C．单一性
D．多义性
相关考题：
●程序设计语言包括 (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．VB．V+C．∑∪VD．(∑∪V)*(45) A．VB．V+C．∑∪VD．(∑∪V)*
●根据乔姆斯基于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型文法
●文法G=(VT，VN，P，S)的类型由G中的 (32) 决定。若G0=({a,b}，{S，X，Y}，P，S)，P中的产生式及其序号如下：1：S→XaaY2：X→YYlb3：Y→XbXla则G0为 (33) 型文法，对应于 (34) ，由G0推导出句子aaaaa和baabbb时，所用产生式序号组成的序列分别为 (35) 和 (36) 。(32) A．VTB．VNC．PD．S(33) A．0B．1C．2D．3(34) A．图灵机B．下推自动机C．有限状态自动机D．其他自动机(35),(36) A．13133B．12312C．12322D．12333
由某上下文无关文法M[s]推导出某句子的分析树如下图所示，则错误的叙述是( )。A．该文法推导出的句子必须以“a”开头B．acabcbdcc是该文法推导出的一个句子C．“s-aAcB”是该文法的一个产生式D．a、b、c、d属于该文法的终结符号集
● 对给定文法G=（VN，VT， P，S），VT={a，Λ，(，)}，VN={S，T}，S是开始符号，P:S→a|Λ|(T)T→T,S|S则（1）不是它的句子。该文法是（2）型文法。（1）A. (a,(a,a)) B. (((a,a), Λ,(a)),a) C. ((a,a), Λ) D. ((a,a),(T))（2）A．0型文法 B．1型文法 C．2型文法 D．正规文法
根据乔姆斯基20世纪50年代建立的形式语言的理论体系，语言的文法被分为四种类型，即：O型(上下文有关文法)、1型(上下文相关文法)、2型(上下文无关文法)和3型(正规文法)。其中2型文法与(66)等价，所以有足够的能力描述多数现今程序设计的语言的句法结构。一个非确定的有限自动机必存在一个与之等价(67)。从文法描述语言的能力来说，(68)最强，(69)最弱，由四类文法的定义可知：(70)必是2型文法。(40)A．确定的有限自动机B．图灵机C．非确定的下推自动机D．非确定的有限自动机E．有限自动机
如果文法G是无二义的，则它的任何句子α(25)。A．最左推导和最右推导对应的语法树必定相同B．最左推导和最右推导对应的语法树可能不同C．最左推导和最右推导必定相同D．可能存在两个不同的最左推导，但它们对应的语法树相同
根据乔姆斯基于20世纪50年代建立的形式语言的理论体系，语言的文法被分为4种类型，即0型(短语文法)，1型(上下文有关文法)、2型(上下文无关文法)和3型(正规文法)。其中，2型文法与(28)等价，所以有足够的能力描述多数现今程序设计的语言的句法结构。一个非确定的有限自动机必存在一个与之等价(29)。从文法描述语言的能力来说，(30)最强，(31)最弱，由4类文法的定义可知：(32)必是2型文法。A．线性有限自动机B．非确定的下推自动机C．图灵机D．有限自动机
文法G=(VT，VN，P,S)的类型由C中的(32)决定。若GO=({a，b}，{S，X，Y}，P,S)，P中的产生式及其序号如下：1：S→XaaY2：X→Dqb3：Y→XbXla则GO为(33)型文法，对应于(34)，由GO推导出句子aaaaa和baabbb时，所用产生式序号组成的序列分别为(35)和(36)。A．VTB．VNC．PD．S
如果一个文法G是无二义性文法,对于任何一个句子,该句子()。 A.可能存在两个不同的最左推导B.可能存在两个不同的最右推导C.最左推导和最右推导对应的语法树不同D.仅存在一个最左推导和一个最右推导
假设某程序语言的文法如下：S→a｜b｜(T)T→TdS｜S其中：VT={a，b，d，(，)}，VN{S，T}，S是开始符号。考查该文法，称句型(Sd(T)db)是S的一个(33)，其中，(34)是句柄：(35)是素短语；(36)是该句型的直接短语；(37)是短语。A．最左推导B．最右推导C．规范推导D．推导
文法G＝({E),{+,*,(,),a},P,E)，其中P由下列产生式组成E-＞E+E|E*E|(E)|a。它生成由a,+,*,(,)组成的算术表达式，该文法在乔姆斯基分层中属于(16)型文法，其对应的自动机是(17)，如产生句子a*a+a，它的派生树是(18)，且最左派生由(19)种，该文法是(20)。A．0B．1C．2D．3
在形式语言中，若文法G的产生式集P为：(1)Z→Bc(2)Z→Zc(3)B→Ab(4)B→Bb(5)A→Aa(6)A→a则文法G是(27)文法，识别G的自动机为(28)。对于G来说，(29)为文法G可接受的字符串，(30)为文法G不可接受的字符串。供选择的答案：A．短语B．上下文有关C．上下文无关D．正则
文法G=({E}，{+，*，(，)，a}，P，E)，其中P由下列产生式组成E-＞E+E|E*E|(E)|a。它生成由a，+，*，(，)组成的算术表达式，该文法在乔姆斯基分层中属于(33)型文法，其对应的自动机是(34)，如产生句子a*a+a，它的派生树是(35)，且最左派生由(36)种，该文法是(37)。A．0B．1C．2D．3
● 由某上下文无关文法M[S]推导出某句子的分析树如下图所示，则错误的叙述是 （50） 。（50）A. 该文法推导出的句子必须以“a”开头B. acabcbdcc 是该文法推导出的一个句子C. “S-aAcB”是该文法的一个产生式D. a、b、c、d属于该文法的终结符号集
根据乔姆斯基于20世纪50年代建立的形式语言的理论体系，文法被分为4种类型，即0型(短语文法)、1型(上下文有关文法)、2型(上下文无关文法)和3型(正规文法)。其中，2型文法与(1)等价，所以有足够的能力描述多数现今程序设计的语言的语法结构。一个非确定的有穷自动机必存在一个与之等价的(2)。从文法描述语言的能力来说，(3)最强，(4)最弱，由4类文法的定义可知(5)必是2型文法。A．确定的有穷自动机B．图灵机C．非确定的下推自动机D．非确定的有穷自动机E．有穷自动机
有限状态自动机可用5元组(VT，Q，δ，q0，Qf)来描述，它可对应于(28)。设有一有限状态自动机M的定义如下：VT＝{0，1}，Q＝{q0，q1，q2)δ定义为：δ(q0，0)=q1 δ(q1，0)=q2δ(q2，1)=q2 δ(q2，1)=q2Qf={q2}。M是一个(29)有限状态自动机，它所对应的状态转换图为(30)，它所能接受的语言可以用正则表达式表示为(31)，其含义为(32)。A．0型文法B．1型文法C．2型文法D．3型文法
在形式语言中，文法G是一个四元组G=(VN，Vr，P，Z)，其中VN为(6)。若文法C的产生式集P为：(1)Z→Bc (2)Z→Zc (3)B→Ab (4)B→Bb (5)A→Aa (6)A→a则文法G是(7)文法，识别G的自动机为(8)。对于G来说，(9)为文法G可接受的字符串，(10)为文法G不可接受的字符串。供选择的答案：A．状态标志符B．开始符C．语句集D．非终结符集合
根据乔姆斯基于20世纪50年代建立的形式语言的理论体系，语言的文法被分为 4种类型，即0型(短语文法)，1型(上下有关文法)、2型(上F文无关文法)和3型(正规文法)。其中，2型文法与(56)等价，所以有足够的能力描述多数现今程序设计的语言的句法结构。一个非确定的有限自动机必存在一个与之等价(57)。从文法描述语言的能力来说，(58)最强，(59)最弱，山4类文法的定义可知：(60)必是2型文法。A．确定的有限自动机B．图灵机C．非确定的下推自动机D．非确定的有限自动机E．有限自动机
程序设计语言包括(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．语法、语义、语用
如果在文法G中存在一个句子，当其满足下列条件（）之一时，则称该文法是二义文法。A、其最左推导和最右推导相同B、该句子有两个不同的最左推导C、该句子有两个不同的最右推导D、该句子有两棵不同的语法树E、该句子对应的语法树唯一
多选题如果在文法G中存在一个句子，当其满足下列条件（）之一时，则称该文法是二义文法。A其最左推导和最右推导相同B该句子有两个不同的最左推导C该句子有两个不同的最右推导D该句子有两棵不同的语法树E该句子对应的语法树唯一