•已知文法G[Z]为：
Z→ aZb | ab
求该文法确定的语言.
•已知语言为:L(G)={abna| n ≥ 1},构造产生该语言的文法.