设g1、g2是两个文法，若l(g1)=l(g2)，则称g1与g2等价，记作g1≡g2。即：文法的等价性是指他们所定义的语言是一样的。文法的化简是指消除如下无用产生式：⒈删除a->a形式的产生式(自定己)；⒉删除不能从其推导出终结符串的产生式(不终结)；⒊删除在推导中永不使用的产生式(不可用)。
自己看下书 可以参考编译原理
