Formale Sprachen
Übungsblätter (betreut von Stefan Gulan)
Die Übung findet montags von 16-18 Uhr in HZ 204 statt.
Es wird empfohlen, in selbstständiger Weise Informationen zu recherchieren; die Universitätsbibliothek hat dafür ein breites Angebot an Büchern zu den Themen der Vorlesung. Scheuen Sie sich nicht, dieses in Anspruch zu nehmen. Einige der Bücher befinden sich im Semesterapparat zur Vorlesung, u. a.:
| Hopcroft, Ullman | Introduction to Automata Theory, Languages and Computation |
| bzw. | Einführung in die Automatentheorie, Sprachen und Komplexitätstheorie |
| Salomaa | Formal Languages |
| Leeuwen | Handbook of Theoretical Computer Science, Vol. B |
| Dassow, Păun | Regulated Rewriting Systems |
Hier die Aufgabenblätter:
| # | Themen | empfohlene Literatur |
| Blatt 1 | Grundlagen | Hopcroft, Ullman |
| Blatt 2 | Ersetzunssysteme, kfG, Substitution | Hopcroft, Ullman; Salomaa |
| Blatt 3 | Graphenkontrollierte Grammatiken | Dassow, Păun; Fernau |
| Blatt 4 | Programmierte Grammatiken | Dassow, Păun; Salomaa(Kap. V) |
| Blatt 5 | Normalform, Wortproblem | Dassow, Păun; Salomaa(Kap. V) |
| Blatt 6 | Mengenmodi, Linksableitungen | Dassow, Păun |
| 2. Hälfte Blatt 6 | ||
| Blatt 7 | DOL-Systeme | Salomaa, Fernau(nur aus dem Campusnetz möglich) |