文法G消除二义性之后得到的文法G'与G是等价的。