We prove several complexity and decidability results for automatic monoids: (i) there exists an automatic monoid with a P-complete word problem, (ii) there exists an automatic monoid such that the first-order theory of the corresponding Cayley-graph is not elementary decidable, and (iii) there exists an automatic monoid such that reachability in the corresponding Cayley-graph is undecidable. Moreover, we show that for every hyperbolic group the word problem belongs to LOGCFL, which improves a result of Cai [4]. © Springer-Verlag Berlin Heidelberg 2004.
CITATION STYLE
Lohrey, M. (2004). Decidability and complexity in automatic monoids. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3340, 308–320. https://doi.org/10.1007/978-3-540-30550-7_26
Mendeley helps you to discover research relevant for your work.