Logik in der Informatik
Prof. Dr. Martin Grohe

Proseminar Automaten und Sprachen

Aktuelles

An dieser Stelle finden Sie im Laufe des Proseminars aktuelle Mitteilungen. Bitte sehen Sie regelmäßig nach, ob es Neues gibt.

Inhalt

Für die Untersuchung der Syntax von Programiersprachen sind Kenntnisse über die Eigenschaften von formalen Sprachen die Grundlage. Inhalt des PS ist das Studium von Generierungs- bzw. Erkennungsverfahren, die sich zur Definition von formalen Sprachen eignen, sowie deren Charakterisierung. Es handelt sich dabei um Regelsprachen (reguläre, kontextfreie, kontextsensitive) bzw. um Automaten.

Logbuch

Informationen zum Vorlesungsbetrieb

Zeiten und Raum: Blockseminar: 04. Juni 2005, 9:00 , Rudower Chaussee 25, Raum 4.410
Dozent/in: Dr. Louchka Popova-Zeugmann

Literatur

[1] Bucher/Maurer: "Theoretische Grundlagen der Programiersprachen", Biblliographisches Institut Mannheim/Wien/Zürich,
B.I.- Wissenschaftsverlag,1984.

[2] Hopcroft, J.,Motwani, R., Ullman, J.: "Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie", 2.überarbeitete Auflage, Addison-Wesley, 2002.

Last modified: Fri Apr 15 10:32:15 MEST 2005
L. Popova-Zeugmann