12. November: Wegen einer Terminkollision mit einer einmaligen Veranstaltung findet der Übungsbetrieb morgen, am Mittwoch, im Raum 812 statt (selbes Gebäude, Mühlenpfordstraße 23, 8. Stock). Das betrifft die beiden Übungen ab 15:00 und ab 16:45.
5. November: Mit der Ausgabe des zweiten Aufgabenblattes steigt der Übungsbetrieb auf das folgende Punkteschema um: Kreuzen Sie gelöste wöchentliche Aufgaben an und arbeiten Sie in Ihrer kleinen Übung mit, um Punkte zu bekommen. Sie benötigen mindestens 50 von insgesamt 100 Punkten. Das erste Blatt wurde dabei mit 4 Punkten gewichtet.
23. Oktober: Der Start der kleinen Übungen am Donnerstag wird auf morgen vorgezogen. Die Übungen am Mittwoch und Freitag starten erst in der nächsten Woche. Weitere Infos im Stud.IP.
21. Oktober: Die großen Übungen finden jeden zweiten Dienstag anstelle einer Vorlesung statt. Die Erste ist am 29. Oktober. Weiteres dazu finden Sie im Vorlesungsverlauf. Sie können sich nun zu den kleinen Übungen anmelden. Diese starten ab dem 29. Oktober.
2. Oktober: Die erste Vorlesung findet am Montag, den 21. Oktober, statt.
1. Oktober: Die Informationen auf dieser Seite sind noch vorläufig. Insbesondere die Termine für die kleinen Übungen werden noch angepasst.
Die Vorlesung wird von Prof. Dr. Roland Meyer gehalten. Die Übungen werden von René Maseli geleitet.
Wöchentlich werden zwei Vorlesungstermine stattfinden, die Sie durch das Themengebiet führen. Alle zwei Wochen wird ein Termin davon als Großübung abgehalten, wo speziell Aufgabenbeispiele vorgerechnet werden, die Ihnen bei den Hausaufgaben und zur Klausurvorbereitung helfen sollen.
Vorlesung / Große Übung (4212010):
Kleine Übung (4212046):
Lerntreff Theorie:
Um das Modul erfolgreich abzuschließen, sind zwei Leistungen zu erbringen:
| Datum | Thema |
|---|---|
| 21. Okt. | Partielle Ordnungen und Verbände |
| 22. Okt. | Fixpunkte und Stetigkeit |
| 28. Okt. | Satz von Kleene |
| 29. Okt. | Große Übung 1 |
| 4. Nov. | While-Programme |
| 5. Nov. | Datenfluss-Analyse |
| 11. Nov. | Reguläre Sprachen |
| 12. Nov. | Große Übung 2 |
| 18. Nov. | Endliche Automaten |
| 19. Nov. | Ardens Lemma und Charakterisierung regulärer Sprachen |
| 25. Nov. | DFAs und interne Transitionen |
| 26. Nov. | Große Übung 3 |
| 2. Dez. | Homomorphismen |
| 3. Dez. | Satz von Myhill & Nerode |
| 9. Dez. | Minimale DFAs |
| 10. Dez. | Große Übung 4 |
| 16. Dez. | Pumping-Lemma für reguläre Sprachen |
| 17. Dez. | Ersetzungssysteme |
| 6. Jan. | Chomsky-Normalform |
| 7. Jan. | Große Übung 5 |
| 13. Jan. | CYK-Algorithmus |
| 14. Jan. | Greibach-Normalform |
| 20. Jan. | Pushdown-Automaten und Charakterisierung kontextfreier Sprachen |
| 21. Jan. | Große Übung 6 |
| 27. Jan. | Abschlusseigenschaften für kontextfreie Sprachen |
| 28. Jan. | Pumping-Lemma für kontextfreie Sprachen |