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

Fitting ideals for finitely presented algebraic dynamical systems

โœ Scribed by M. Einsiedler, T. Ward


Book ID
113013762
Publisher
Springer
Year
2000
Tongue
English
Weight
369 KB
Volume
60
Category
Article
ISSN
0001-9054

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Infinite Convergent String-rewriting Sys
โœ 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