๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Rewriting Systems and Embedding of Monoids in Groups

โœ Scribed by Chouraqui, Fabienne

Book ID
111937531
Publisher
Walter de Gruyter GmbH & Co. KG
Year
2009
Tongue
English
Weight
138 KB
Volume
1
Category
Article
ISSN
1867-1144

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Rewriting Systems and Embedding of Monoi
Rewriting Systems and Embedding of Monoids in Groups
โœ Chouraqui, Fabienne ๐Ÿ“‚ Article ๐Ÿ“… 2009 ๐Ÿ› Walter de Gruyter GmbH & Co. KG ๐ŸŒ English โš– 138 KB

In this paper, a connection between rewriting systems and embedding of monoids in groups is found. We show that if a group with a positive presentation has a complete rewriting system โ„œ that satisfies the condition that each rule in โ„œ with positive left-hand side has a positive right-hand side, then

Infinite Convergent String-rewriting Sys
Infinite Convergent String-rewriting Systems and Cross-sections for Finitely Presented Monoids
โœ F. OTTO; M. KATSURA; Y. KOBAYASHI ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 635 KB

A finitely presented monoid has a decidable word problem if and only if it can be presented by some left-recursive convergent string-rewriting system if and only if it has a recursive cross-section. However, regular cross-sections or even context-free cross-sections do not suffice. This is shown by