Regeln, die Wörter erzeugen
Ein Automat prüft Wörter. Eine Grammatik geht den umgekehrten Weg: Sie erzeugt die Wörter einer Sprache mit Ersetzungsregeln.
- Nichtterminale N:Hilfssymbole, die noch ersetzt werden — meist Großbuchstaben wie S, A.
- Terminale T:Zeichen der fertigen Wörter — meist Kleinbuchstaben oder Ziffern.
- Startsymbol:ein Nichtterminal, meist S — damit beginnt jede Ableitung.
- Produktionsregel:linke Seite → rechte Seite: „ersetze links durch rechts“.
- Oder-Strich:
A → 0A | 1A | εfasst drei Regeln zusammen. - ε-Regel:
A → εlässt A ersatzlos verschwinden.
So wird eine Grammatik nach den Ergänzenden Hinweisen notiert — hier für Binärzahlen ohne führende Null:
- N =
- {S, A}
- T =
- {0, 1}
- Startsymbol:
- S
- Produktionsregeln:
- S → 1A | 0
A → 0A | 1A | ε
Herleitung:
Ableitung und Ableitungsbaum
- Ableitungsschritt:\(u\Rightarrow v\): ein Nichtterminal in u wird durch die rechte Seite einer seiner Regeln ersetzt.
- Satzform:jedes Zwischenergebnis — Terminale und Nichtterminale gemischt.
- Ableitung:\(S\Rightarrow\ldots\Rightarrow w\), bis nur Terminale übrig sind; kurz \(S\Rightarrow^* w\).
- Erzeugte Sprache:\(L(G)=\{w\in T^*\mid S\Rightarrow^* w\}\).
- Linksableitung:immer das am weitesten links stehende Nichtterminal ersetzen (Rechtsableitung: das rechte).
- Ableitungsbaum:Wurzel S, innere Knoten Nichtterminale, Kinder = rechte Seite der Regel; die Blätter von links nach rechts ergeben das Wort.
Leite Schritt für Schritt ab (▶ oder „Nächster Schritt“) und beobachte, wie der Baum wächst. Schalte zwischen Links- und Rechtsableitung um und vergleiche die Reihenfolge. Wickle zum Schluss den fertigen Baum ab.
Halte fest: Links- und Rechtsableitung wenden die Regeln in anderer Reihenfolge an — der fertige Baum ist derselbe. Liest man seine Blätter von links nach rechts, entsteht das Wort; ε-Blätter fallen dabei weg.
Grammatik: Sie besteht aus Nichtterminalen N, Terminalen T, einem Startsymbol S und Produktionsregeln. Ein Wort \(w\in T^*\) gehört zur erzeugten Sprache \(L(G)\), wenn es eine Ableitung \(S\Rightarrow^* w\) gibt. Der Ableitungsbaum zeigt, welche Regel wo angewendet wurde — nicht, in welcher Reihenfolge.
Allgemeine Hinweise
Satzform ist noch kein Wort
Solange ein Nichtterminal vorkommt, ist die Ableitung nicht fertig. Nur reine Terminalfolgen gehören zu L(G).
Je Schritt genau eine Regel
Schreibe jeden Ableitungsschritt einzeln mit ⇒ und ersetze pro Schritt genau ein Nichtterminal — so bleibt die Ableitung prüfbar.
Groß und klein unterscheiden
Nichtterminale und Terminale müssen sich deutlich unterscheiden. In den Abituraufgaben: Nichtterminale groß, Terminale klein oder als Ziffern.
