without external funding

Implementierung eines "Experimental Systems for String-Rewriting" (XSSR)



Project Details

Project duration: 06/199605/2001

Website: http://www.theory.informatik.uni-kassel.de/



Abstract
In dem Bereich der Wortersetzungssysteme sind in den letzten Jahren
bedeutende Fortschritte gemacht worden. Insbesondere konnten viele
im allgemeinen unentscheidbare Probleme fuer interessante
Spezialfaelle geloest werden. Es wird daher an der Entwicklung
eines experimentellen Systems fuer Wortersetzungssysteme (XSSR)
gearbeitet, in das alle neu entwickelten Algorithmen integriert
werden sollen. Dieses System wird die Moeglichkeit eroeffnen,
einerseits diese Algorithmen praktisch zu erproben als auch
andererseits neue Ansaetze und Vorgehensweisen an nicht trivialen
Beispielen auszuprobieren.

Last updated on 2022-20-04 at 14:08