Units of special Church-Rosser monoids

DOI10.1016/0304-3975(87)90098-3zbMath0616.20029OpenAlexW2027815727MaRDI QIDQ1821207

Craig C. Squier

Publication date: 1987

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(87)90098-3

zbMATH Keywords

equivalencegenerating setsgroup of unitscongruencefree monoidChurch-Rosser propertyfree product of cyclic groupsright-invertible elementsspecial Church-Rosser monoidspecial presentation

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Free semigroups, generators and relations, word problems (20M05) Semigroups in automata theory, linguistics, etc. (20M35)

Related Items

Applying rewriting methods to special monoids ⋮ Thue systems as rewriting systems ⋮ On the descriptive power of special Thue systems ⋮ COMPLETE REWRITING SYSTEMS FOR CODIFIED SUBMONOIDS

Cites Work

• Unnamed Item
• Unnamed Item
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems