Project without external funding

Gutartige unendliche konvergente Wortersetzungssysteme: Ausdruckskraft und algorithmische Eigenschaften


Project Details
Project duration: 04/199612/1999


Abstract
Konvergente Wortersetzungssysteme bilden eine wichtige
Moeglichkeit, das Wortproblem fuer einige einfache algebraische
Strukturen wie Monoide oder Gruppen zu loesen und in diesen Strukturen
effektiv zu rechnen. Dazu braucht man allerdings die Einschraenkung,
dass die von dem betrachteten Wortersetzungssystem induzierte
Reduktionsrelation effektiv berechenbar ist. Dies ist beispielsweise
immer dann der Fall, wenn das betrachtete System endlich ist. In
diesem Forschungsvorhaben geht es nun darum, solche unendlichen
konvergenten Wortersetzungssysteme zu untersuchen, fuer die die
induzierte Reduktionsrelation ebenfalls effektiv berechenbar ist.


Principal Investigator

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