Formale Sprachen (Parallele Grammatiken und regulierte Ersetzung)

Prof. Dr. Henning Fernau

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

Formale Sprachen und Komplexitätstheorie sind die klassischen Säulen der Theoretischen Informatik. Nach der allgemeinen Vorstellung der Fragestellungen im Bereich der Formalen Sprachen schließt sich die Diskussion verschiedener Sprachklassen an, insbesondere gesteuerte und parallele Ersetzungsverfahren. Abschließend behandeln wir algebraische Ansätze wie abstrakte Sprachfamilien und formale Potenzreihen.

VL (Beginn erste Vorlesungswoche)
mittwochs 12 - 14 Uhr HZ 203, Ausnahme: 25.4., 12:00 - 13:00,
dann: 12:25-13:55 Uhr.

<link internal-link>Übungen (Gulan; Beginn zweite Vorlesungswoche): montags 16-18 Uhr HZ 204

Folien: