1.定義

1. 句型、句子、語言
   設文法G=(V_T,V_N,S和P)。如果S =>* α，則稱α是一個句型。僅含終結符號的句型是一個句子。語言 L(G)是有文法G產生的所有句子組成的集合：L(G) = {α | S =>* α,且α∈V_T^* }

2. 短語、直接短語、控制代碼
   令G是一個文法，S是文法的開始符號，假定αβδ是文法G的一個句型，如果有S =>* αAδ 且 A =>⁺ β，則稱β是句型αβδ相對於非終結符A的短語。特別是，如果有A => β,則稱β是句型αβδ相對於規則A -> β的直接短語，一個句型的最左直接短語稱為該句型的控制代碼。

3. 素短語、最左素短語
   設G是一個算符文法，β是句型αβδ關於A的短語（即有S =>* αAδ 且 A =>⁺

   β），且β至少含有一個終結符號，並且除自身之外不再含有任何更小的帶有終結符號的短語，則稱β是句型αβδ關於A的素短語。所謂最左素短語是指處於句型最左邊的那個素短語。

2.丟擲一個小栗子

待續。。