推導樹(derivational tree)描述句子結構的樹形圖。設G- C V N f V T f S f P)是
上下文無關文法，如果有某個成分結構樹滿足下列條件，它就是上下文無關文法的推導樹:
1.每一個結點有一個標記，這個標記就是V-VN U VT中的符號.
2.根的標記是S.
3.如果結點n至少有一個異於其本身的後裔，並有標記A，那麼A必定是非終極符號集VN中的符號.
4.如果結點y ,n2, ".. }nk是結點n的直接後裔，從左向右排列，其標記分別為A1}AZ}...}Ak，那麼A--}A,AZ...}qk必定是P中的重寫規則.