Seminar Formale Sprachen

Seminar von Priv.-Doz. Wolfgang Merkle im Wintersemester 2012/13

Die Seite befindet sich im Aufbau

Zeiten

n.V.
Vorbesprechungen: Do, 18.10.2012, 13:30 h, INF 294 (AM), HS 134

 

Dozent

PD Dr. Wolfgang Merkle
INF 294 (AM), Zimmer 005
Telefon: 06221/54-5409
email: merkle@math.uni-heidelberg.de
Sprechstunde: Mo ab 14 h und nach Vereinbarung

Inhalt

Gegenstand des Seminars sind Automaten auf unendlichen Wörtern und damit zusammenhängende Fragestellungen über Graphspiele und aus der Logik. In den Seminarvorträgen werden ausgewählte Abschnitte des Buches von Grädel, Thomas und Wilke vorgestellt.

Zielgruppe

Studierende der Informatik und Mathematik

Voraussetzungen

Grundkenntnisse der theoretischen Informatik und insbesondere der Theorie endliche Automaten.

Bemerkungen

Bei geringen Vorkenntnissen wird empfohlen, parallel zum Seminar die Vorlesung Vorlesung Formale Sprachen zu hören.

Es werden auch schon vor der Vorbesprechung am 18. Oktober Vortragsthemen vergeben.

Literatur und Begleitmaterial

Erich Grädel, Wolfgang Thoma