假定G是一个文法,S是它的开始符号,如果 * S => α 则称α是一个句型; 仅含终结符的句型是一个句子; 文法G所产生的句子的全体是一个语言,记为L(G)。 转载于:https://www.cnblogs.com/mznsndy/p/10705903.html