Automaten und Formale Sprachen (AFS)

Prof. Dr. Henning Fernau

Vorlesung im Grundstudium über 2 SWS mit Übungen über 2 SWS

Die Vorlesung gibt eine kompakte Einführung in das Gebiet der Automatentheorie und formalen Sprachen, das sowohl für die theoretische Informatik (Berechenbarkeitstheorie, Komplexitätstheorie, formale Systeme und Semantik) als auch für die praktische Informatik (Programmiersprachen, Syntaxanalyse, Compilerbau usw.) von grundlegender Bedeutung ist.

Vorlesung (Beginn erste Vorlesungswoche):
Freitag 12 - 14 Uhr HS 13, ab 2. Woche 12:.25 - 13:55 Uhr

Übungen(Raible; Beginn dritte Vorlesungswoche, jeweils 14-tägig):
Montag 14 - 16 Uhr HS 13
Mittwoch 14 - 16 Uhr HS 13

NEU: Prüfungstermin Dienstag, 24.07.07, 08:45 - 11:15 Uhr im HS 11/12

 
Folien:
(Die ersten 6 Foliensätze behandeln reguläre Sprachen; danach geht es um kontextfreie Sprachen.)