技巧：最后得到的是终结符组成的闭包
例题：
文法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能够多步推导出
