Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Automatic monoids versus monoids with finite convergent presentations

Friedrich OttoContact Information, Andrea Sattler-KleinContact Information and Klaus MadlenerContact Information

(1)  Fachbereich Mathematik/Informatik, Universität Kassel, D-34109 Kassel
(2)  Fachbereich Informatik, Universität Kaiserslautern, D-67653 Kaiserslautern
Abstract
Due to their many nice properties groups with automatic structure (automatic groups) have received a lot of attention in the literature. The multiplication of an automatic group can be realized through finite automata based on a regular set of (not necessarily unique) representatives for the group, and hence, each automatic group has a tractable word problem and low derivational complexity. Consequently it has been asked whether corresponding results also hold for monoids with automatic structure. Here we show that there exist finitely presented monoids with automatic structure that cannot be presented through finite and convergent string-rewriting systems, thus answering a question in the negative that is still open for the class of automatic groups. Secondly, we present an automatic monoid that has an exponential derivational complexity, which establishes another difference to the class of automatic groups. In fact, both our example monoids are bi-automatic. In addition, it follows from the first of our examples that a monoid which is given through a finite, noetherian, and weakly confluent string-rewriting system need not have finite derivation type.
This work was supported by the Deutsche Forschungsgemeinschaft (Projekte Ma 1208/5-1 und Ot 79/4-1).

Contact Information Friedrich Otto
Email: otto@theory.informatik.uni-kassel.de

Contact Information Andrea Sattler-Klein
Email: sattler@informatik.uni-kl.de

Contact Information Klaus Madlener
Email: madlener@informatik.uni-kl.de
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Referenced by
2 newer articles

  1. Wang, Xiaofeng (2009) Finiteness and Dehn functions of automatic monoids having directed fellow traveller property. Semigroup Forum
    [CrossRef]
  2. Andrade, I. (2007) Automatic structures for semigroup constructions. Semigroup Forum
    [CrossRef]
Remote Address: 38.107.191.114 • Server: MPWEB26
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)