推导树(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中的重写规则.