Projekt ohne Drittmittelfinanzierung

Automatische Strukturen und Ersetzungssysteme


Details zum Projekt
Projektlaufzeit: 01/199912/2009


Zusammenfassung
The concepts of an automatic structure and of a convergent rewriting system have a
common source in the attempts to identify and study algebraic objects in which the
algebraic operations are easy to compute. The objectives of this project are the
following:
- to investigate the relationships between various types of automatic structures and
various classes of rewriting systems,
- to develop theoretical and practical methods for constructing convergent rewriting
systems from various types of automatic structures,
- to develop theoretical and practical methods for computing automatic structures from certain types of rewriting systems,
- to investigate various decision problems for monoids given by an automatic structure of a certain form.


Projektleitung

Zuletzt aktualisiert 2017-11-07 um 14:49