A note on thue systems with a single defining relation

DOI10.1007/BF01699465zbMath0601.03015MaRDI QIDQ3735697

Celia Wrathall, Friedrich Otto

Publication date: 1985

Published in: Mathematical Systems Theory (Search for Journal in Brave)

zbMATH Keywords

Church-Rosser propertyone-rule Thue systems

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Thue and Post systems, etc. (03D03)

Related Items (8)

Thue systems as rewriting systems ⋮ Overlaps in free partially commutative monoids ⋮ On deciding the confluence of a finite string-rewriting system on a given congruence class ⋮ On confluence of one-rule trace-rewriting systems ⋮ On confluence versus strong confluence for one-rule trace-rewriting systems ⋮ Confluence of one-rule Thue systems ⋮ Finite canonical rewriting systems for congruences generated by concurrency relations ⋮ Semigroups presented by one relation and satisfying the Church-Rosser property

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The equation \(a_ M=b^ Nc^ P\) in a free group
• Homogeneous Thue systems and the Church-Rosser property
• An \(O(| T| ^ 3)\) algorithm for testing the Church-Rosser property of Thue systems
• Testing for the Church-Rosser property
• On monoids presented by a single relation
• Infinite regular Thue systems
• Undecidable questions related to Church-Rosser Thue systems
• Une généralisation des ensembles de Dyck
• On theories with a combinatorial definition of 'equivalence'
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Confluent and Other Types of Thue Systems
• Fast Pattern Matching in Strings
• A note on special thue systems with a single defining relation
• Tree-Manipulating Systems and Church-Rosser Theorems

This page was built for publication: A note on thue systems with a single defining relation