句型、句子和语言

假定G是一个文法，S是它的开始符号，如果

　　　　　*

　　S　　=>　　α

则称α是一个句型；

仅含终结符的句型是一个句子；

文法G所产生的句子的全体是一个语言，记为L(G)。