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