对于算符优先文法，a和b为终结符，其关系a>b的含义是ab在句型中相邻出现时，（)。

任何算符优先文法的句型中不会有两个相邻的非终结符号。()

任何算符优先文法的句型中一定会有两个相邻的非终结符号。()

A.必有ac

B.必有ca

C.必有ba

D.A～C都不一定成立

算符优先文法中任何两个相邻的终结符号之间至少满足三种关系(<·，·>，=·)之一。()

A.归约速度快

B.对文法限制少

文法G [S]为:

S→S;G | G

G→G(T) | H

H→a| (S)

T→T+S | S

(1)构造G [S] 的算符优先关系表，并判断G [S] 是否为算符优先文法。

(2)给出句型a(T+S) ;H; (S)的短语、句柄、素短语和最左素短语。

(3)给出a; (a+a)和(a+a)的分析过程，说明它们是否为G [s] 的句子。

(4)给出(3)中输入串的最右推导，分别说明两输入串是否为G[S]的句子。

(5)由(3)和(4)说明了算符优先分析的哪些缺点。

(6)算符优先分析过程和规范归约过程都是最右推导的逆过程吗？

已知文法G(S)为：

S→aAcBd

A→B|A+B

B→S*|(

(1)求出文法的FIRSTVT集和LASTVT集；

(2)该文法是算符优先文法吗？如果是则构造该文法的算符优先表。