Def: eine Ableitung w0w1... heißt Rechts- (bzw. Links-)Ableitung, falls in jedem Schritt die am weitesten rechts (bzw. links) stehende Variable ersetzt wird.
Beispiel: G = ({a, b},{S}, S,{Sb, SaSS})
Linksableitung: SaSSaaSSSaabSSaabbSaabbaSSaabbabSaabbabb,
Rechtsableitung: SaSSaSaSSaSaSbaSabbaaSSabbaaSbabbaabbabb.
Zu jedem Ableitungsbaum gehören genau eine Rechts- und eine Links-Ableitung.
(D. h.: Grammatik G eindeutig
jedes w l (G) besitzt genau eine Rechts-Ableitung
jedes w l (G) besitzt genau eine Links-Ableitung.)