設(shè)G1和G2是給定的文法,如果有L(G1)=L(G2),則稱G1與G2等價(jià)。
是局限于一個(gè)基本塊范圍內(nèi)的一種優(yōu)化。
語(yǔ)法分析的任務(wù)是識(shí)別給定的終結(jié)符串是否為給定文法的句子。