[Back]

Sayeh Damavandi:
"Automorphismengruppen regulärer Bäume und Automaten";
Supervisor: W. Herfort; e115, 2002.

Reguläre Wurzelbäume sind als Cayley-Diagramme freier
Monoide definierbar. In diesem Sinne läßt sich jeder
Automorphismus eines solchen Baumes als Automat deuten.
Von hohem Interesse sind jene Gruppen von Automorphismen,
(deren Automorphismen) als Automaten gedeutet, die jeweils nur endlich viele Zustände annehmen können.
Hiezu gehören vorallem die von S.Sidki angegebenen
Burnsidegruppen und von R.Grigorchuk beschriebene
Gegenbeispiele zu einer Vermutung
von J.Milnor.
Die vorliegende Arbeit ist ausschließlich
dem Ziel gewidmet, die Beschreibung
dieser Gruppen und ihres Zusammenhangs mit der Automatentheorie
in allen Einzelheiten darzustellen.