Formale Methoden I - Universität Bielefeld
Formale Methoden I - Universität Bielefeld
Formale Methoden I - Universität Bielefeld
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
55<br />
(98)<br />
Daraus kann man unter anderem die folgenden Worte stricken:<br />
Rakete<br />
Anti-Raketen-Rakete<br />
Anti-Anti-Raketen-Raketen-Rakete<br />
Nehmen wir noch eine Grammatik. Es sei A unser normales Alphabet der<br />
Kleinbuchstaben. Ferner sei N={S,D,U,R,P,N,V,I}, das Startsymbol sei wieder<br />
S, und R enthalte die folgenden Regeln:<br />
(99)<br />
S→UP<br />
D→the␣|a␣<br />
R→TP<br />
P→I|VU<br />
V→drove␣|chased␣<br />
U→DN|DNR<br />
N→car␣|rat␣|mouse␣<br />
T→that␣<br />
I→ran␣|drove␣<br />
Diese Grammatik erzeugt sinnvolle englische Sätze. Hier ist eine vollständige Ableitung<br />
eines Satzes:<br />
(100)<br />
S<br />
UP<br />
DNRP<br />
the␣NRP<br />
the␣rat␣RP<br />
the␣rat␣TPP<br />
the␣rat␣that␣PP<br />
the␣rat␣that␣VUP<br />
the␣rat␣that␣drove␣UP<br />
the␣rat␣that␣drove␣DNP<br />
the␣rat␣that␣drove␣a␣NP<br />
the␣rat␣that␣drove␣a␣car␣P<br />
the␣rat␣that␣drove␣a␣car␣I<br />
the␣rat␣that␣drove␣a␣car␣ran␣<br />
An dieser Stelle sei angemerkt, dass dieser Satz auch noch unzählige andere Ableitungen<br />
hat. Zum Beispiel hätten wir anstelle des Übergangs von/UP/ zu/DNRP/<br />
auch erst einmal/UP/ in/Uran␣/ überführen können, um dann im zweiten Schritt<br />
/DNran␣/ zu gewinnen.<br />
Da unser normales Alphabet relativ klein ist, behilft man sich mit ein paar<br />
Hilfsnotationen, um einen beliebig großen Vorrat an Nichtterminalzeichen zu bekommen.<br />
Eine Möglichkeit, die gerne in der Informatik gebraucht wird, ist, aus