Ableitung in Satzform

Einfache Sprache

Def. Ableitung in Satzform

Gegeben eine KFG $\mathcal G = (T, V, S, P)$ ist das Wort $\alpha\in\Sigma^*$ in Satzform, wenn eine Ableitung von $S$ nach $\alpha$ existiert, also $S\overset{*}\Rightarrow\alpha$. Weiter einschränkend spricht man von linker Satzform bzw. rechte Satzform, wenn die Ableitung eine Leftmost bzw. Rightmost Ableitung ist.