Folien

Automaten und Berechenbarkeit 32
Unter einer Linksableitung verstehen wir eine Folge von
Ableitungsschritten, bei der stets das am weitesten limks stehende
Nichtterminalsymbol durch Anwendung einer Produktionsregel ersetzt
wird.
Hilfssatz 2.7.1
Ein Wort w ∈ X ∗ ist genau dann in G ableitbar, wenn es eine
Linksableitung δ → ∗ G
Hilfssatz 2.7.2
w gibt.
Es seien u ∈ X ∗ und α ∈ {ε}∪N·(N∪X) ∗ .
Es gibt genau dann eine Linksableitung S ⊢∗ G
(z,u,S) ⊢∗ A (z,ε,α)
uα, wenn