1.设文法G2(S):

S->AB

A->aA|a

B->bB|b

G2(S)产生的语言是什么？

解：L(G2)={ambn|m,n≥1}

2.请给出产生语言为{anbn|n≥1}的文法

解：G3(S)：

　　S->ab|aSb

3.上下文无关文法

　一个四元数组G=(VN,VT,S,P)

　　　　VN:非空有限的非终结符集合

　　　　VT:非空有限的终结符集

　　　　S：开始符号

　　　　P：产生式集合

　　　　其中，VN∩VT=∅，S∈VN