Seminar über Automatentheorie
» Diese Veranstaltung wird auf deutsch gehalten.
Seminar im Sommersemester 2002
| Art | Termine/Ort | Beginn | Veranstalter |
|---|---|---|---|
| S2 | Do 11:00 - 12:30 | 18.04.2002 | Thomas, Cachat, Löding, Wöhrle |
Inhalt
In diesem Seminar werden anhand von Originalarbeiten und ausgewählten Buchkapiteln zwei Themen behandelt:
- Wie kann man Funktionen und Relationen über Wörtern durch Automaten beschreiben? (Dies ist wichtig für alle Anwendungen, in denen man Datentransformationen durch Automaten realisieren will.)
- Wie kann man strukturierte Automaten analysieren? Wir werden ausgewählte Automatenmodelle mit Nebenläufigkeit und mit hierarchischer Struktur betrachten.
Organisatorisches
- Die Vorträge finden im Seminarraum des Lehrstuhls (Raum 4116) statt.
- Zwei Feiertage fallen auf einen Donnerstag. In diesen Wochen findet das Seminar mittwochs um 15.30 Uhr statt.
Richtlinien für die Teilnehmer
- Spätestens 6 Wochen vor dem Vortrag werden in einem ersten Treffen mit dem Betreuer die Inhalte des Vortrags und der Ausarbeitung besprochen.
- Jeder Teilnehmer muss eine Ausarbeitung im Umfang von ca. 12-15 Seiten zu seinem Thema erstellen. Diese Ausarbeitung muss spätestens 3 Wochen nach dem Vortrag in endgültiger Version bei dem Betreuer abgegeben werden.
-
Zum Termin des Vortrags wird ein "Handout" an die anderen Teilnehmer
des Seminars verteilt. Dieses Handout ist entweder
- die fertige Ausarbeitung oder
- eine Sammlung der Definitionen und Ergebnisse mit einer kurzen Einleitung und Motivation im Umfang von 3-5 Seiten.
- Das Handout muss 10 Tage vor dem Vortrag abgegeben und mit dem Betreuer besprochen werden.
Liste der Vorträge
TEIL I
| Termin | Vortragender | Thema | Betreuer | |
| 1 | Do 25.04. | Özgür Kevinc | Rationale Relationen I | Wolfgang Thomas |
| 2 | Do 25.04. | Björn Kohlen | Rationale Relationen II | Wolfgang Thomas |
| 3 | Do 02.05. | Viet-Khoi Do | Sequentielle Funktionen | Wolfgang Thomas |
| 4 | Mi 15.05. | Wong Karianto | Rationale Funktionen | Wolfgang Thomas |
| 5 | Do 16.05. | Bastian Wegener | Reguläre Präfix-Relationen | Stefan Wöhrle |
| 6 | Mi 29.05. | Stephan Küpper | Logik-Charakterisierungen für Relationen | Stefan Wöhrle |
| 7 | Do 06.06. | Artur Jaroschek | Synchronisierte rationale Relationen | Stefan Wöhrle |
| 8 | Do 13.06. | Jens Claßen | Entscheidungsprobleme | Wolfgang Thomas |
TEIL II
| Termin | Vortragender | Thema | Betreuer | |
| 9 | Do 20.06. | Adam Kampa | Petrinetz-Unfolding I | Christof Löding |
| 10 | Do 27.06. | Christoph Schulte Althoff | Petrinetz-Unfolding II | Christof Löding |
| 11 | Do 04.07. | Dirk Schuphan | Hierarchische Automaten und Statecharts | Wolfgang Thomas |
| 12 | Do 11.07. | Markus Peters | Rekursive hierachische Automaten I | Thierry Cachat |
| 13 | Do 18.07. | Ibrahim Tanovic | Rekursive hierarchische Automaten II | Thierry Cachat |
Literatur
Kapitel 4 des Skripts zur Vorlesung "Modelle und Konstruktionen der Automatentheorie" behandelt automatendefinierbare Relationen (Download nur aus dem Netz der RWTH).Folgendes Buch dient als Grundlage für einen Großteil der Vorträge aus dem Teil I des Seminars: Jean Berstel, Transductions and context - free languages, Teubner, 1979 In der Bibliothek des Instituts für Informatik befindet sich dieses Buch im Handapparat zur Vorlesung "Modelle und Konstruktionen der Automatentheorie".