Vortragsankündigung, Bereichsseminar Theoretische Informatik,
Dienstag, den 17. Oktober 00, 15:15 - 16:45, Raum wird noch bekanntgegeben
Dr. J. Waldmann, Institut für Informatik, Universität Leipzig
Aktuelles aus der Theorie Endlicher Automaten
Ich präsentiere eine Auswahl von interessanten Ideen aus Vorträgen beim
Theorietag der Fachgruppe "Automaten und Formale Sprachen"
der Gesellschaft für Informatik,
der unlängst an der TU Wien stattfand.
- Endliche Quanten-Automaten (Rusins Freivalds)
- McNaughton-Sprachen und CRCL (Friedrich Otto, Gundula Niemann)
- Erkennbare Bildsprachen (Klaus Reinhardt)
- Zustands-Komplexität von DFA- und NFA-Operationen
(Markus Holzer, Henning Bordihn)
Natürlich kann man nicht die gesamte Konferenz in 90 Minuten behandeln.
Die Auswahl ist deswegen stark subjektiv
und beschränkt sich auf je ein oder zwei Beispiele
von neuen Resultaten, Begriffen und offenen Fragen.
Das zeigt, daß die Endlichen Automaten nach wie vor
ein interessanter Forschungsgegenstand sind.
Nach Abstimmung können wir uns in weiteren Seminaren
mit Teilthemen ausführlicher beschäftigen.
Gäste sind herzlich eingeladen; zum Verständnis des Vortrags
sind lediglich Kenntnisse aus dem Grundstudium nötig.
Literatur
http://www.informatik.uni-leipzig.de/~joe/
mailto:joe@informatik.uni-leipzig.de