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 (entfällt ab Juli)
    
  • Mittwoch, 12:15-13:45, H-B 6414
  • Donnerstag, 08:15-09:45, H-C 6321
  • Freitag, 12:15-13:45, H-B 6414 (entfällt ab Mitte Mai)
  • 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 
• Blatt 2 
• Blatt 3 
• Blatt 4 
• Blatt 5 
• Blatt 6 
• Blatt 7 
• Blatt 8 
• Blatt 9 
• Blatt 10 
• Blatt 11 
• Blatt 12 
• Blatt 13 
• Blatt 14 

 

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