Vorlesung Formale Sprachen und Automaten (Sommer 2024)

 

Organisatorisches

• Veranstalter: Prof. Dr. Markus Lohrey
• Vorlesungstermine:
  • Dienstag, 14:15-15:45, AR-D 5102
  • Donnerstag (jede gerade Woche), 14:15-15:45, H-C 3305
• Der erste Vorlesungstermin ist am 9. April.
• Die Donnerstagsvorlesung findet erstmalig am 18. 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
  • Freitag, 12:15-13:45, H-B 6414
  • Tutoren und Ansprechpersonen: Michael Figelius und Rahul Jain
• Alle Übungsgruppen beginnen in der Woche von 15. April bis 19. April.

 

Einige Themen

• Formale Sprachen
• Chomsky Hierarchie
• Endliche Automaten
• Kontextfreie Grammatiken
• Kellerautomaten
• Turingmaschinen

 

Folien

 

Übungsblätter

• Blatt 1 (Lösungen)
• Blatt 2
• Blatt 3

 

Klausuren

Formale Sprachen und Automaten

• Klausur vom SoSe22 (Lösung)
• Klausur vom WiSe22/23 (Lösung)

Grundlagen der theoretischen Informatik

• Klausur vom SoSe19 (Lösung)
• Klausur vom WiSe19/20 (Lösung)

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