Prof. Dr. sc. nat. Christoph Meinel
FB IV - Informatik
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.
Formale Sprachen sind Mengen von Wörtern über einem vorgegebenen Alphabet, für die es ein Regelsystem gibt, das alle Wörter dieser Menge generieren kann (und nur diese). Die Chomsky-Hierarchie teilt die Menge der formalen Sprachen ein in vier Klassen: Die regulären Sprachen, die kontextfreien Sprachen, die kontextsensitiven Sprachen, und schließlich sonstige formale Sprachen. Wir folgen dieser Einteilung und arbeiten für jede dieser vier Klassen die wichtigsten Eigenschaften und Darstellungen heraus.
Die Vorlesung ist 2-stündig. Sie gehört zum Kanon der Grundvorlesungen. Die aktive Teilnahme an der angebotenen zweistündigen ist notwendig zum Scheinerwerb.
Vorlesung:Übungen: Dr. Rustam Mubarakzjanov
- Mi 14-16 ( V 302 )
- Mi 16-18 ( V 302 )
- Do 14-16 ( V 301 )
Vorlesungsskript ( ps, pdf)