工学
单选题设有文法G={{S}，{a}，{S→SaS|ε}，S}，该文法是（）A LL（1）文法B 二义性文法C SLR（1）文法D 算法优先文法
题目
LL（1）文法
二义性文法
SLR（1）文法
算法优先文法
相似问题和答案
第1题：
A.0型
B.1型
C.2型
D.3型
第2题：
设有文法G〔S〕:S→Ac，A→Sb|a，则利用文法G进行自顶向下的语法分析时会怎样()。
A、不会出现回溯
B、会出现回溯
C、不会出现死循环
D、会出现死循环
第3题：
● 对给定文法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．正规文法
根据句子的定义，若从文法G的开始符号S能推导出的符号串成为文法的一个句型，仅含终结符的句型成为一个句子。很显然，备选答案D中含有非非终结符T，所以它不是文法的句子。
该文法是递归可枚举的，所以文法是0型文法，又文法所有产生式的右边长度大于或等于产生式左边长度，所以文法是1型文法，由于该文法的每个产生式的左边均是非终结符，所以该文法是2型文法；由于文法的两个产生式即不是右线性，也不是左线性，所以该文法不是正规型文法。
第4题：
对文法G[S]：S→a|∧|(T)；T→T，S|S：回答问题1～问题3。
对文法G进行改写，然后对每个非终结符写出不带回溯的递归子程序。
改写文法为： (0)S→d (1)S→∧ (2)S→(T) (3)T→SN (4)N→,SN (5)N→ε 非终结符 FIRST集 FOLLOW集 S {a，∧，(} {#,,,}} T {a，∧，(} {}}… N {,,ε}． {}}… 对左部为N的产生式可知： FIRST(→，SN)；{，} FIRST(→ε)：{ε} FOLLOW(N)={}}
第5题：
ASAT
BB
CfSg
De
第6题：
A.LL(1)文法
B.算符优先文法
C.二义性文法
D.SL(1)文法
第7题：
此题为判断题(对，错)。
第8题：
文法G[S]：S→xSx|y所描述的语言是______(n≥0)。
A．(xyx)n
B．xyxn
C．xynx
D．xnyxn
解析：正规文法到正规式的转换规则如下：
在本题中，推导过程如下：
S-＞xSx－＞xyx－＞x2Sx2-＞x2yx2-＞
x3Sx3-＞x3yx3-＞...-＞xnSxn-＞xnyxn
得出生成式的规律是：两个x串中间只有一个y，同时两边的x串等长。
第9题：
考虑下述文法，S为开始符号 G1[S]：S→A A→aAb | ab G2[S] S→AA→aA |a| 下列结论中为真的是(28)。
A．G1是LR(0)文法，G2不是LR(1)文法
B．G2是LR(0)文法，G1不是LR(1)文法
C．G2是LR(1)文法，G1不是LR(1)文法
D．G1和G2都是LR(1)文法
解析：因为G2存在句子aa，该句子有两棵不同的语法树，所以文法G2是二义性文法。二义性文法不是LR文法，所以B、C、D不正确。选A。
第10题：
A.候选式
B.句型
C.单词
D.产生式