Übersicht:

Die Vorlesung gibt eine Einführung in das Gebiet der Baumsprachen, einem der aktuellen Forschungsbereiche der Formalen Sprachen. Grundkenntnisse aus letzterem Gebiet, wie sie im Rahmen der betreffenden Grundvorlesung (über Automaten und Formale Wort-Sprachen) bereitgestellt werden, sind daher wünschenswert.
Automaten, die mit Bäumen (anstelle von Wörtern) als Eingabestrukturen umgehen können, sind in zahlreichen Gebieten der Informatik von großem Interesse, zum Beispiel im Zusammenhang mit der Verarbeitung semistrukturierter Daten (z.B. XML-Dokumente).
Die Vorlesung ist zweistündig mit einstündiger Übung.

 

Teilnahmevoraussetzungen:

Bachelor-Studium Informatik, insbesondere Grundvorlesung über Automaten und Formale Sprachen

Hinweis:

Mögliche Termin-Kollisionen können sicherlich individuell behoben werden.
Kommen Sie daher unbedingt in die erste Vorlesung.

Informationen zum Ausdrucken

Aktualisierte Informationen, Übungsblätter usf. werden über Stud.IP den angemeldeten Teilnehmerinnen und Teilnehmern zur Verfügung gestellt.