例文法G[S]: (1)S→aSBE (2)s→aBE (3)EB→BE (4)aB→ab (5)bB→bb (6)bE→be (7)eE→ee L(G)={a"en≥1 G生成的每个串都在L(G)中 L(G)中的每个串确实能被G生成例 文法G[S]： （1）S→aSBE （2）S→aBE （3）EB→BE （4）aB→ab （5）bB→bb （6）bE→be （7）eE→ee L（G）={ anbnen | n≥1 } G生成的每个串都在L(G)中 L(G)中的每个串确实能被G生成