文法G所描述的语言就是G的终结符号集VT的闭包VT*。 ()此题为判断题(对，错)。

设文法G(S)的BNF描述为 S→S，E｜E E→E＋T｜T T→T*F｜F F→a｜(E)｜a[S] (1)给出G(S)的元语言符号集、文法符号集、终结符号集和非终结符号集。 (2)G(S)属于哪类文法？写出L(G(S))集合。 (3)判断符号串 $1：a，a＋a[a[S]] $2：a*a，a＋a[a] 是否为文法G(S)的句子，对是L(G(S))的句子给出对应的分析树。

设有文法G的符号集V，非终结符集VN，终结符集VT，下列叙述中正确的是_______。

A．V＝VT

B．V＝VN

C．V＝VT∩VN

D．V＝VT∪VN

文法G[S]是一四元组,G[S]=（VN，Vt，P，S),其中VN,Vt,P为非空有限集,分别称为___,___,产生式集;（)为文法的开始符号。

在如下上下文无关文法G中：stmt-sequence→stmt;stmt-sequence|stmtstmt→s哪些是终结符号？()

Astmt-sequence

Bstmt

Cs

D;

A.L(G[N])={bi│i≥0}

B.L(G[N])={b2i│i≥0}

C.L(G[N])={b2i1│i≥0}

D.L(G[N])={b2i1│i≥1}

若文法G定义的语言是无限集，则文法必然是()。

A上下文无关文法

B正规文法

C二义性文法

D递归文法

由U产生的头符号S也可能不同，这些头符号S构成的集合，称为U的推导的__________.

A.递归的

B.前后丈无关的

C.二义性的

D.无二义性的