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
• 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