Projekt A7 - Entwicklung und Implementierung eines experimentellen Systems für Wortersetzung (XSSR)

(DFG-Projekt in Zusammenarbeit mit der Arbeitsgruppe von Herrn Prof. Dr. K. Madlener, Fachbereich Informatik der Universität Kaiserslautern, seit Juni 1996, bis Mai 2001)


In dem Bereich der Wortersetzungssysteme sind in den letzten Jahren bedeutende Fortschritte gemacht worden. Insbesondere konnten viele im allgemeinen unentscheidbare Probleme für interessante Spezialfälle gelöst werden. Es wird daher an der Entwicklung eines experimentellen Systems für Wortersetzungssysteme (XSSR) gearbeitet, in das alle neu entwickelten Algorithmen integriert werden sollen. Dieses System wird die Möglichkeit eröffnen, sowohl einerseits diese Algorithmen praktisch zu erproben als auch andererseits neue Ansätze und Vorgehensweisen an nicht trivialen Beispielen auszuprobieren.

Zwischenbericht 96-98

Abschlußbericht 98-2000

Interne Berichte:

R. Cremanns:
Decision problems for string-rewriting systems.
Mathematische Schriften Kassel 10/97, Fachbereich Mathematik/Informatik der Universität-Gesamthochschule Kassel, September 1997.

Veröffentlichungen:

Hofbauer, D., Kögl, C., Madlener, K. and Otto, F.:
XSSR: An experimental system for string rewriting -- decision problems, algorithms, and implementation.
In Cohen, A.M., Gao, X.S. and Takayama, N., editors; Proceedings of the 1st International Congress of Mathematical Software, ICMS-02, Beijing, China. pages 126-135, World Scientific, 2002.