Informatik

Was ist eine Ableitung in einer Grammatik?

Eine Ableitung ersetzt schrittweise Nichtterminale mithilfe von Produktionen, bis ein Terminalwort entsteht.

Notation: $S\Rightarrow^* w$ bedeutet: $w$ ist aus $S$ in endlich vielen Schritten ableitbar.