均是終結(jié)符集。
設(shè)G1和G2是給定的文法,如果有L(G1)=L(G2),則稱(chēng)G1與G2等價(jià)。
是局限于一個(gè)基本塊范圍內(nèi)的一種優(yōu)化。