Formale Sprachen A
Termine
Vorlesung | mittwochs, 12:00-14:00 Uhr | HZ 203 | erstmals: 17. April |
Übung | mittwochs, 10:05-11:35 Uhr | H 405 | erstmals: 23. April |
Vorlesungsfolien
Kapitel 1: Fragestellungen der Formalen Sprachen
Kapitel 2: Abschlusseigenschaften, Trios und AFLs
Kapitel 3: Regulierte Ersetzungsverfahren
Kapitel 4: Parallele Ersetzungsverfahren
Übungsaufgaben
Wir werden in der ersten Übung, die (ausnahmsweise) am MI 24.4. um 8.15 im H7 beginnt, einige Aufgaben aus Kapitel 1 durchsprechen:
0. Bearbeiten Sie den Übungsvorschlag von Folie 12.
1. Überprüfen Sie alle Beispiele auf Folie 13.
2. Führen Sie den Beweis von Folie 19 genauer durch.
3. Bearbeiten Sie den Übungsvorschlag von Folie 21 / Seite 17.
Weitere konkrete Übungshinweise werden auf bzw. über stud.ip kommuniziert.
Dozenten
Prof. Dr. Henning Fernau/ Dr. Markus L. Schmid