Formale Methoden I - Universität Bielefeld

76 13. Kontextfreie Sprachen und Bäume
Das Startsymbol sei, und R bestehe aus den folgenden Regeln:
(173)
→
→|
→the␣|a␣
→car␣|rat␣|mouse␣
→
→that␣
→|
→ran␣|drove␣
→drove␣|chased␣
Mit dieser Grammatik leiten wir nun erneut denselben Satz ab:
(174)
1.
2.
3.
4. the␣
5. the␣rat␣
6. the␣rat␣
7. the␣rat␣that␣
8. the␣rat␣that␣
9. the␣rat␣that␣drove␣
10. the␣rat␣that␣drove␣
11. the␣rat␣that␣drove␣a␣
12. the␣rat␣that␣drove␣a␣car␣
13. the␣rat␣that␣drove␣a␣car␣
14. the␣rat␣that␣drove␣a␣car␣ran␣
Wir sagen, dass diese Ableitung dem Satz eine bestimmte Struktur gibt. Zm Beispiel
haben wir im Übergang von Zeile 1 zu Zeile 2 das Symbol durch
die Kette von zwei Symbolen ersetzt. Dies deuten wir nun so,
dass wir sagen, eine beliebige Zeichenkette⃗x, welche aus in dieser Weise
abgeleitet werden kann, het eine Zerlegung⃗x=⃗y·⃗z, wo⃗y aus und⃗z aus
abgeleitet werden kann. Das soll heißen: wie auch immer die Ableitung
weitergeht, die Zeichenkette zerfällt in zwei Teile, deren erster eine Determinatorphrase
ist und die zweite ein Prädikat. Wir stellen das bildlich auf zwei Weisen dar.
Die erste ist, dass wir die Zeichenkette mit Klammern versehen, die die Teilung
offenbar werden lassen.
(175) [ [ the␣rat␣that␣drove␣a␣car␣][ ran␣]]