句型/句子/语言 旬型( sentential forn): 如果S=*→>,那么Q就是文法的旬型 可能既包含非终结符号,又包含终结符号; 以是空串 句子( sentence) 文法的句子就是不包含非终结符号的句型 语言 文法G的语言就是G的旬子的集合,记为L(G) W在L(G)中当且仅当W是G的包子,即S=*=>W句型/句子/语言 • 句型（sentential form）： – 如果S=*=> α，那么α就是文法的句型 – 可能既包含非终结符号，又包含终结符号；可 以是空串 • 句子（sentence） – 文法的句子就是不包含非终结符号的句型 • 语言 – 文法G的语言就是G的句子的集合，记为L(G) – w在L(G)中当且仅当w是G的句子，即S=*=>w