（1）句型和句子 句型：若符号串x是从开始符推导出来的,即S =>*x，则称x是文法G的句型 如果此时x只由终结符组成那么也称x为句子。 （2）语言 定义：由文法G生成的语言记为L(G),它是文法G的一切句子的集合。 文法和语言的关系：文法G生成的每个串都在L(G)中且L(G)中的每个串确实能被G生成。 （3）等价文法 若L（G1）=L（G2），则称文法G1和G2是等价的。