已知文法为:S->a|^|(T) T->T,S|S 构造它的LR(0)分析表。
1.删除多余运算。 2.代码外提。 3.强度削弱。 4.变换循环控制条。 5.合并已知量与复写传播。 6.删除无用赋值。
设G1和G2是给定的文法,如果有L(G1)=L(G2),则称G1与G2等价。