Abstract
For finitely presented monoids the finiteness problem, the free monoid problem, the trivial monoid problem, the group problem and the problem of commutativity are undecidable in general. On the other hand, these problems are all decidable for the class of finite presentations involving complete string rewriting systems. Thus the question arises whether these problems are also decidable for the class of finite presentations describing monoids which have decidable word problems. In this paper we present some results from the author's Doctoral Dissertation [Sa96] which answer this question in the negative and show that each of these problems is undecidable for the class of finitely presented monoids with decidable word problems admitting regular complete presentations as well as for the class of finitely presented monoids with tractable word problems.
Preview
Unable to display preview. Download preview PDF.
References
G. Bauer, F. Otto. Finite complete rewriting systems and the complexity of the word problem. Acta Inf. 21 (1984), 521–540.
R.V. Book. Thue systems as rewriting systems. Journal Symbolic Computation 3 (1987), 39–68.
R.V. Book, F. Otto. String-Rewriting Systems. Texts and Monographs in Computer Science (Springer, New York, 1993).
M. Jantzen. Confluent String Rewriting. EATCS Monographs on Theoretical Computer Science Vol. 14 (Springer, Berlin-Heidelberg, 1988).
D.E. Knuth, P. Bendix. Simple word problems in universal algebras. In: J. Leech (ed.): Computational Problems in Abstract Algebra (Pergamon, New York, 1970), 263–297.
Y. Kobayashi. A finitely presented monoid which has solvable word problem but has no regular complete presentation. Theoretical Computer Science 146:321–329 (1995).
O.G. Kharlampovich, M.V. Sapir. Algorithmic problems in varieties. International Journal of Algebra and Computation 5 (1995), 379–602.
A.A. Markov. The impossibility of algorithms for recognizing some properties of associative systems. Doklady Akademii Nauk SSSR 77 (1951), 953–956.
K. Madlener, F. Otto. Pseudo-natural algorithms for the word problem for finitely presented monoids and groups. Journal Symbolic Computation 1 (1985), 383–418.
C. Ó'Dúnlaing. Undecidable questions related to Church-Rosser Thue systems. Theoretical Computer Science 23 (1983), 339–345.
C. Ó'Dúnlaing. Infinite regular Thue systems. Theoretical Computer Science 25 (1983), 171–192.
A. Sattler-Klein. Divergence phenomena during completion. Proc. RTA '91, Como (1991) 374–385.
A. Sattler-Klein. A systematic study of infinite canonical systems generated by Knuth-Bendix completion and related problems. Doctoral Dissertation, Fachbereich Informatik, Universität Kaiserslautern, February 1996.
C.G. Squier, F. Otto. The word problem for finitely presented monoids and finite canonical rewriting systems. Proc. RTA '87, Bordeaux (1987) 74–82.
J. Steinbach. Comparing on Strings: Iterated syllable ordering and recursive path orderings. SEKI-Report SR-89-15, Universität Kaiserslautern (1989).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sattler-Klein, A. (1997). New undecidability results for finitely presented monoids. In: Comon, H. (eds) Rewriting Techniques and Applications. RTA 1997. Lecture Notes in Computer Science, vol 1232. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-62950-5_62
Download citation
DOI: https://doi.org/10.1007/3-540-62950-5_62
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62950-4
Online ISBN: 978-3-540-69051-1
eBook Packages: Springer Book Archive