| Titel | Inhalt | Termin (voraussichtlich) | |
|---|---|---|---|
| 1. | ω-reguläre Ausdrücke und Büchi-Automaten | I.3 und I.5 aus [1] | 24. April |
| 2. | Muller- und Rabin-Automaten | I.7.1 und I.7.2 aus [1] | 8. Mai |
| 3. | Der Satz von McNaughton | I.9 (bis Theorem 9.4) aus [1] | 15. Mai |
| 4. | Deterministische Sprachen | I.6 und I.7.3 aus [1] | 22. Mai |
| 5. | Eindeutige und verallgemeinerte Büchi-Automaten | 3 bis 5 und 6.1 aus [2] | 29. Mai |
| 6. | Techniken für Eindeutigkeit | 6.2.1 und 6.2.2 (bis Lemma 45) aus [2] | 5. Juni |
| 7. | Eindeutige Automaten für ω-reguläre Sprachen | 6.2.2 (ab Definition 46) und 6.2.3 aus [2] | 12. Juni |
| 8. | Entscheidbarkeit von S1S | 3 (bis Theorem 3.3) aus [3] | 26. Juni |
| 9. | Anwendungen | Propositionen 12.46, 12.47 und 12.55 aus [4] | 3. Juli |