Die Übung findet Montags, von 16-18 Uhr in HZ204 statt.
Es wird empfohlen, in selbständiger Weise Informationen zu recherchieren, die Universitätsbliothek hat dafür eine 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 |
| zweite Hälfte v. Blatt 6 | ||
| Blatt 7 | D0L-Systeme | Salomaa, Fernau(nur aus dem Campusnetz möglich) |