Diplomarbeit

Ein Optimierer für einen Generator endlicher Automaten

                (Zusammenarbeit mit Xerox Grenoble/Frankreich)

Betreuer: Dr. Uwe Assmann

Institut für Programm- und Datenstrukturen, Rechenzentrum, Am Zirkel 2, 76128 Karlsruhe, Zi. 153

mailto:assmann@ipd.info.uni-karlsruhe.de

tel:0721/608 6088

http://i44www.info.uni-karlsruhe.de/~assmann

Thema:

Xerox Grenoble besitzt einen Generator, der aus einer Beschreibungssprache für endliche Automaten lauffähigen Code erzeugt (siehe auch http://www.xrce.xerox.com/research/mltt/themes.html). Dieser wird dazu benutzt, mit endlichen Transduktoren Analysatoren für natürliche Sprache zu spezifizieren und automatisch erzeugen.

Aufgabe ist es, innerhalb dieses Generators eine Analyse- und Optimiererungsphase zu entwerfen und zu implementieren.  Da die endlichen Automaten als Graphen vorliegen, soll das Graphersetzungswerkzeug OPTIMIX, das am Lehrstuhl entwickelt wurde, eingesetzt werden.

Anwendungen:
 

  • Multi-linguales Text-Mining:  Im Zeitalter des Web muß Information automatisch aufbereitet und in andere Sprachen übersetzt werden.
  • Automatische Übersetzung
  • Text-Strukturierung

    • Vorbedingungen:

    Frankophile Personen sind natürlich besonders geeignet. Vorkenntnisse in Übersetzerbau wünschenswert, z.B. Vorlesung oder Praktikum.