編譯原理-句型、句子和語言

假定G是一個文法，S是它的開始符號，如果

　　　　　*

　　S　　=>　　α

則稱α是一個句型；

僅含終結符的句型是一個句子；

文法G所產生的句子的全體是一個語言，記為L(G)。