Project without external funding

Automatische Strukturen und Ersetzungssysteme


Project Details
Project duration: 01/199912/2009


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


Principal Investigator

Last updated on 2017-11-07 at 14:49