首页/ 题库 / [单选题]文法S→abC,bC→ad是几型文法?(的答案

文法S→abC,bC→ad是几型文法?()

单选题
2022-01-05 16:58
A、0型文法
B、1型文法
C、2型文法
D、3型文法
查看答案

正确答案
B

试题解析

感兴趣题目
一个文法G是岐义性(又称二义性)文法的含义是(28)。
一个LR(1)文法合并同心集后若不是LALR(1)文法()
在形式语言中,若文法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不可接受的字符串。供选择的答案:
3型文法是()是语法分析使用的文法。
算符优先文法不是指(29)的文法。
已知文法G1=(VT={a,b,d},VN={S,A,B},S,P),其中P为: S→dAB A→aA|a B→bB|ε 该文法属于(28)文法。
以下陈述完全正确的是:( )。 ①LR(K)文法是无二义性文法 ②LR(K)文法可能是左递归文法 ③LL(K)文法是无二义性文法 ④LL(K)文法可能是左递归文法 ⑤简单优先文法是无二义性文法 ⑥简单优先文法肯定是无左递归文法
设G 是一个给定的文法,S 是文法的开始符号,如果S->x( 其中x∈V*), 则称x 是文法G 的一个( )。
设G是一个给定的文法,S是文法的开始符号,如果S x(其中x∈VT*),则称x是句法的一个句子。( )
已知文法G[S]:S→A0|B1,A→S1|1,B→S0|0;该文法属于乔姆斯基定义的__(1)__文法,它不能产生串__(2)__。空白(1)处应选择()
文法G:S→b|∧|(T)T→T,S|S则FIRSTVT(T)=(41)。
假设某程序语言的文法如下:S→SaT|TT→TbR|RR→PdR|PP→fSg|e其中Vr={a,b,d,e,f,g};Vn={S,T,R,P};S是开始符号,那么,此文法是(43)文法。这种文法的语法分析通常采用优先矩阵。优先矩阵给出了该文法中各个终结符之间的优先关系(大于、小于、等于和无关系)。在上述文法中,某些终结符之间的优先关系如下:b{(44)}a;f{(45)}g;a{(46)}a;d{(47)}d。
相关题目
二义文法是至少存在一个句子有不止一个最左(最右)推导的文法。
3型文法一定是2型文法。( )
由文法 编译原理所定义的语言是:____
设G 是一个给定的文法,S 是文法的开始符号,如果S->x( 其中x∈V), 则称x 是文法G 的一个( )。
已知文法G[S]:S→A0|B1,A→S1|1,B→S0|0;该文法属于乔姆斯基定义的__(1)__文法,它不能产生串__(2)__。空白(1)处应选择()
已知文法G[S]:S→A0|B1,A→S1|1,B→S0|0;该文法属于乔姆斯基定义的__(1)__文法,它不能产生串__(2)__。空白(2)处应选择()
按照法的( )分类,可将法分为成文法和不成文法。
文法S→abC,bC→ad是几型文法?()
设有文法G[S]为S→AB
bC,A→ε
b,B→ε
aD,C→AD
b,D→aS
c则FOLLOW与A的函数为()
一个文法所描述的语言是();描述一个语言的文法是()。
文法G[S]:S→xSx
y所描述的语言是()(n0)。
根据乔姆斯基于20世纪50年代建立的形式语言的理论体系,语言的文法被分为 4种类型,即0型(短语文法),1型(上下有关文法)、2型(上F文无关文法)和3型(正规文法)。其中,2型文法与(56)等价,所以有足够的能力描述多数现今程序设计的语言的句法结构。一个非确定的有限自动机必存在一个与之等价(57)。从文法描述语言的能力来说,(58)最强,(59)最弱,山4类文法的定义可知:(60)必是2型文法。
若文法G定义的语言是无限集,则文法必然是()
四种形式语言文法中,1型文法又称为()文法。
文法S→aaS
abc定义的语言是()
在Chomsky定义的4种形式语言文法中,0型文法又称为(51)文法;1型文法又称为(52)文法;2型语言可由(53)识别。
●根据乔姆斯基于20世纪50年代建立的形式语言的理论体系,语言的文法被分为4种类型,即0型(短语文法),1型(上下有关文法)、2型(上下文无关文法)和3型(正规文法)。其中,2型文法与 (28) 等价,所以有足够的能力描述多数现今程序设计的语言的句法结构。一个非确定的有限自动机必存在一个与之等价 (29) 。从文法描述语言的能力来说, (30) 最强, (31) 最弱,由4类文法的定义可知: (32) 必是2型文法。线性有限自动机非确定的下推自动机图灵机有限自动机(29)
根据乔姆斯基20世纪50年代建立的形式语言的理论体系,语言的文法被分为四种类型,即:O型(上下文有关文法)、1型(上下文相关文法)、2型(上下文无关文法)和3型(正规文法)。其中2型文法与(66)等价,所以有足够的能力描述多数现今程序设计的语言的句法结构。一个非确定的有限自动机必存在一个与之等价(67)。从文法描述语言的能力来说,(68)最强,(69)最弱,由四类文法的定义可知:(70)必是2型文法。(40)
根据乔姆斯基于20世纪50年代建立的形式语言的理论体系,文法被分为4种类型,即0型(短语文法)、1型(上下文有关文法)、2型(上下文无关文法)和3型(正规文法)。其中,2型文法与(1)等价,所以有足够的能力描述多数现今程序设计的语言的语法结构。一个非确定的有穷自动机必存在一个与之等价的(2)。从文法描述语言的能力来说,(3)最强,(4)最弱,由4类文法的定义可知(5)必是2型文法。
任何一个二义性文法一定不是LR类文法,也不是一个算符优先文法。
广告位招租WX:84302438

免费的网站请分享给朋友吧