技巧：最后得到的是终结符组成的闭包

例题：

文法G[S]: S-->AB        A-->aAb|ab        B-->Bc|，求对应的语言

①S-->(aAb|ab)(Bc|)

②我们可以观察到，无论A-->aAb还是A-->ab，都一定会同时出现ab,但是B-->Bc,会推出终结符c，B-->，则不会推出c，所以c可以取到0，a和b一定会出现。

③最后得到结果：

L(G)={|m>0,n>=0}

再来一个例子：

最后得到的语言：

S能够多步推导出