The image shows the corresponding derivation tree; it is a tree of trees ( main picture ), whereas a derivation tree in word grammars is a tree of strings ( upper left table ).
12.
Genetic editing is named by analogy with genetics manuscripts ( individuals ) are derived from other manuscripts ( or previous states of the same manuscript ) and with the derivation tree being a partial ordered tree.
13.
Two " acceleration " theorems due to Imbert permit the elimination of redundant inequalities based solely on syntactic properties of the formula derivation tree, thus curtailing the need to solve linear programs or compute matrix ranks.
14.
On the other hand, if the two grammars generate the same set of derivation trees ( or more generally, the same set of abstract syntactic objects ), then the two languages are strongly equivalent.
15.
The derivation trees of tree-adjoining grammar are dependency-based, although the full trees of TAG are constituency-based, so in this regard, it is not clear whether TAG should be viewed more as a dependency or constituency grammar.
