Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Kontextfreie Sprachen<br />
Idee einer formalen Grammatik<br />
Diese Beobachtungen sind nicht auf reguläre Sprachen beschränkt:<br />
Beispiel<br />
L S := { a n b n : n ∈ N } ist der kleinste Fixpunkt der Ungleichung<br />
Beispiel<br />
S ⊇ {ε} ∪ {a}S{b}<br />
Die Sprache L := { w ∈ X ∗ : w = sp(w) } der Palindrome über X ist der<br />
kleinste Fixpunkt der Ungleichung<br />
S ⊇ {ε} ∪ ⋃ { {a} : a ∈ X } ∪ ⋃ { {a}S{a} : a ∈ X }<br />
Die iterative Lösung solcher (Systeme von) Ungleichungen kann allerdings<br />
mühsam sein. Geht das auch einfacher Wir wollen versuchen, das oben<br />
beschriebene Verfahren zu syntaktisieren:<br />
Jürgen Koslowski (TU-BS) <strong>Theoretische</strong> <strong>Informatik</strong> 1 WS 2010/2011 111 / 191
Change language