𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Left-divisibility and word problems in single relation monoids

✍ Scribed by Guillaume Watier


Book ID
110561090
Publisher
Springer
Year
1996
Tongue
English
Weight
725 KB
Volume
53
Category
Article
ISSN
0037-1912

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Undecidable properties of monoids with w
✍ Masashi Katsura; Yuji Kobayashi; Friedrich Otto πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 337 KB

Using a particular simulation of single-tape Turing machines by ΓΏnite string-rewriting systems the ΓΏrst two authors have shown that all linear Markov properties are undecidable for the class of ΓΏnitely presented monoids with linear-time decidable word problem. Expanding on this construction it is sh