Implementierung eines "Experimental Systems for String-Rewriting" (XSSR) - Research Information System | University of Kassel

without external funding

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

Project Details

Project duration: 06/1996–05/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.

Publications

2002	Cremanns, R., Otto, F., 2002. A completion procedure for finitely presented groups that is based on word cycles. Journal of Automated Reasoning 28, 235–256. https://doi.org/10.1023/A:1015741511536
2002	Hofbauer, D., Kögl, C., Madlener, K., Otto, F., 2002. XSSR: An experimental system for string rewriting - decision problems, algorithms, and implementation, in: Cohen, A.M. (Hrsg.), Proceedings of the 1st International Congress of Mathematical Software, ICMS-02. World Scientific, Beijing, China, S. 126–135.
2000	Otto, F., 2000. A survey on the computational power of some classes of monoid-presentations, in: J.C. Birget, S.M. (Hrsg.), Algorithmic Problems in Groups and Semigroups. Birkhaeuser, Boston, S. 171–194.