Mějme gramatiku $G=(V,T,P,S)$. \pojem{Derivační strom} pro $G$ je strom, kde: \begin{itemize} \item každý vnitřní uzel je ohodnocen neterminálem $V$. \item Každý uzel je ohodnocen prvkem $\in V \cup T \cup \{\epsilon\} $. \item Je--li uzel ohodnocen $\epsilon$, je jediným dítětem svého rodiče. \item Je--li $A$ ohodnocení vrcholu a jeho děti \alert{zleva pořadě} jsou ohodnoceny $X_1,\ldots,X_k$, pak $(A\rightarrow X_1,\ldots,X_k) \in P $ je pravidlo gramatiky. \end{itemize}