Vorlesung Formale Sprachen und Automaten (Sommer 2023)
Organisatorisches
- Veranstalter: Prof. Dr. Markus Lohrey
- Vorlesungstermine:
- Dienstag, 14:15-15:45, H-C 3305
- Donnerstag (jede gerade Woche), 14:15-15:45, PB-I 001
- Der erste Vorlesungstermin ist am 4. April.
- Die Donnerstagsvorlesung findet erstmalig am 6. April statt, danach im zweiwöchigen Rhythmus.
- Übungen:
- Mittwoch, 10:15-11:45, H-C 3302
- Mittwoch, 12:15-13:45, H-B 6414
- Donnerstag, 08:15-09:45, H-C 6321
- Alle Übungsgruppen beginnen in der Woche von 10. April bis 15. April.
Einige Themen
- Formale Sprachen
- Chomsky Hierarchie
- Endliche Automaten
- Kontextfreie Grammatiken
- Kellerautomaten
- Turingmaschinen
Folien
Übungsblätter
- Blatt 1 (Lösung)
- Blatt 2 (Lösung)
- Blatt 3 (Lösung)
- Blatt 4 (Lösung)
- Blatt 5 (Lösung)
- Blatt 6 (Lösung)
- Blatt 7 (Lösung)
- Blatt 8 (Lösung)
- Blatt 9 (Lösung)
- Blatt 10 (Lösung)
- Blatt 11 (Lösung)
- Blatt 12 (Lösung)
- Blatt 13 (Lösung)
- Blatt 14 (Lösung)
Klausuren
Formale Sprachen und Automaten
Grundlagen der theoretischen Informatik
Lehrbücher
- Uwe Schöning, Theoretische Informatik - kurz gefasst, Spektrum Akademischer Verlag
- Lutz Priese, Katrin Erk, Theoretische Informatik: Eine umfassende Einführung, Springer
- Alexander Asteroth, Christel Baier, Theoretische Informatik, Pearson Studium