Folge von Ableitungsschritten einer kontextfreien Grammatik, die beim Startsymbol beginnt, bei einer Terminalzeichenreihe endet, und in der in jeder entstehenden Satzform immer das am weitesten rechts stehende Nichtterminalsymbol ersetzt wird.

Die Eindeutigkeit der Rechtsableitung impliziert die Eindeutigkeit der Grammatik. Deterministische Verfahren zur Bottom-up-Syntaxanalyse liefern eine Rechtsableitung des erkannten Wortes in gespiegelter Reihenfolge.