Contributions of Ronald V. Book to the theory of string-rewriting systems

DOI10.1016/S0304-3975(98)00053-XzbMath0913.68111OpenAlexW2085240568WikidataQ29029310 ScholiaQ29029310MaRDI QIDQ1274982

Robert McNaughton

Publication date: 12 January 1999

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

Full work available at URL: https://doi.org/10.1016/s0304-3975(98)00053-x

zbMATH Keywords

Thue systemsChurch--Rosser propertyMonoid presentationSemi-Thue systemsString rewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Decidable sentences of Church-Rosser congruences
• Homogeneous Thue systems and the Church-Rosser property
• On deciding whether a monoid is a free monoid or is a group
• Thue systems as rewriting systems
• Testing for the Church-Rosser property
• When is a monoid a group? The Church-Rosser case is tractable
• The Knuth-Bendix Completion Procedure and Thue Systems
• Church–Rosser Thue Systems that Present Free Monoids
• Confluent and Other Types of Thue Systems
• Some Properties of Conversion