Projekt ohne Drittmittelfinanzierung

Automatische Strukturen und Ersetzungssysteme

Details zum Projekt
Projektlaufzeit: 01/199912/2009

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
- 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.


Zuletzt aktualisiert 2017-11-07 um 14:49