Church–Rosser Thue Systems that Present Free Monoids

DOI10.1137/0215056zbMath0599.20091OpenAlexW2044793563MaRDI QIDQ3734715

Friedrich Otto

Publication date: 1986

Published in: SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/0215056

zbMATH Keywords

free monoidalphabetmonoid presentationfinite Church-Rosser Thue system

Mathematics Subject Classification ID

Free semigroups, generators and relations, word problems (20M05) Thue and Post systems, etc. (03D03)

Related Items (4)

Thue systems as rewriting systems ⋮ Contributions of Ronald V. Book to the theory of string-rewriting systems ⋮ On two problems related to cancellativity ⋮ On deciding whether a monoid is a free monoid or is a group

This page was built for publication: Church–Rosser Thue Systems that Present Free Monoids