Seminar über Automatentheorie

» This course is given in German.

Seminar im Wintersemester 2002/2003

ArtTermine/OrtBeginnVeranstalter
S2 Mo 14:00 - 15:30 4116 21.10.2002 Thomas, Löding, Rohde, Wöhrle

Inhalt

Es werden Arbeiten und Buchkapitel über "gewichtete Automaten" behandelt, d.h. über Automaten, in denen Verbindungen zwischen Zuständen bzw. akzeptierte Wörter mit "Gewichten" versehen sind (z.B. Wahrscheinlichkeiten). Wir gehen dabei auch auf die vielfältigen Anwendungen ein, z.B. in der Sprachverarbeitung und für Optimierungsprobleme.

Organisatorisches

  • Die Vorträge finden im Seminarraum des Lehrstuhls (Raum 4116) 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 spätestens 10 Tage vor dem Vortrag abgegeben und mit dem Betreuer besprochen werden.

Liste der Vorträge

 TerminVortragenderThemaBetreuer
1 21.10.2002 Patrick Eggert Stochastische Automaten: Einführung Wolfgang Thomas
2 28.10.2002 Jan Gall Schnittpunkte und der Satz von Rabin Wolfgang Thomas
3 4.11.2002 entfällt    
4 11.11.2002 Achim Schlosser Automaten mit ganzzahligen Gewichten Wolfgang Thomas
5 18.11.2002 Oguzhan Özkurt Optimierungsprobleme Stefan Wöhrle
6 25.11.2002 Jan Buchholz Optimierungsprobleme mit (max,plus)-Algebra Stefan Wöhrle
7 2.12.2002 Nanjiao Wang Automaten und Sprachverarbeitung: Einführung Christof Löding
8 9.12.2002 Marc Wichterich Determinisierung gewichteter Transducer Christof Löding
9 16.12.2002 Arash Akhoundi Minimierung gewichteter Transducer Christof Löding
10 13.1.2003 Jochen Schlosser Automaten für Bildbeschreibung Stefan Wöhrle
11 20.1.2003 Jan Siekermann Automaten und reelle Funktionen Stefan Wöhrle
12 27.1.2003 Tim Schwerdtner Transitionssysteme, mu-Kalkül und Model-Checking Philipp Rohde
13 3.2.2003 Tobias Ganzow Probabilistischer mu-Kalkül Philipp Rohde
14 10.2.2003 Holger Janßen Stochastische Spiele und Model-Checking Philipp Rohde