Thue congruences and the Church-Rosser property

DOI10.1007/BF02572815zbMath0482.03017OpenAlexW2046280211MaRDI QIDQ1162505

Colm P. O'Dunlaing, Ronald V. Book

Publication date: 1981

Published in: Semigroup Forum (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/134494

zbMATH Keywords

confluencefinitely presented semigroupsfinite Thue systems

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Semigroups (20M99) Thue and Post systems, etc. (03D03)

Related Items (9)

SOME EXACT SEQUENCES FOR THE HOMOTOPY (BI-)MODULE OF A MONOID ⋮ Complexity of certain decision problems about congruential languages ⋮ Restrictions of congruences generated by finite canonical string-rewriting systems ⋮ Thue systems as rewriting systems ⋮ Decision problems for finite special string-rewriting systems that are confluent on some congruence class ⋮ When is an extension of a specification consistent? Decidable and undecidable cases ⋮ Infinite regular Thue systems ⋮ Undecidable questions related to Church-Rosser Thue systems ⋮ On two problems related to cancellativity

Cites Work

• On theories with a combinatorial definition of 'equivalence'
• Confluent and Other Types of Thue Systems
• Some Non‐Recursive Classes of Thue Systems With Solvable Word Problem
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Thue congruences and the Church-Rosser property