Vortragsankündigung, Bereichsseminar Theoretische Informatik,
Dienstag, den 29. 10. 2002, 11:00 - 12:30, Hauptgebäude Raum 3-68
Johannes Waldmann, Institut für Informatik, Universität Leipzig
gemeinsame Arbeit mit Alfons Geser (Hampton/VA) und Dieter Hofbauer (Kassel)

Nachfolgermengen in Wort-Ersetzungs-Systemen

Wir versuchen, Nachfolger-Mengen in Wort-Ersetzungs-Systeme formalsprachlich zu beschreiben.

Am liebsten benutzten wir dazu reguläre Sprachen wegen ihrer guten Abschluß- und Entscheidbarkeits-Eigenschaften.

Nun sind nicht alle Nachfolgermengen regulär, wir müssen also Kompromisse eingehen, von denen ich einige erläutern werde.

Weiter gehe ich auf die Anwendung dieser Methoden bei der Bestimmung von Forward Closures ein. Damit kann man Terminations-Eigenschaften untersuchen.

Zur Einstimmung zwei Beispiele:

Gäste sind willkommen, Grundkenntnisse über Automaten und reguläre Sprachen sind zum Verständnis des Vortrags ausreichend.
http://www.informatik.uni-leipzig.de/~joe/ mailto:joe@informatik.uni-leipzig.de