A note on special thue systems with a single defining relation

DOI10.1007/BF01744568zbMath0505.03019OpenAlexW2062281594MaRDI QIDQ4740555

Ronald V. Book

Publication date: 1983

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

Full work available at URL: https://doi.org/10.1007/bf01744568

zbMATH Keywords

Church-Rosser

Mathematics Subject Classification ID

Thue and Post systems, etc. (03D03)

Related Items

Overlaps in free partially commutative monoids, On deciding the confluence of a finite string-rewriting system on a given congruence class, A note on thue systems with a single defining relation, On confluence of one-rule trace-rewriting systems, Confluence of one-rule Thue systems, Finite canonical rewriting systems for congruences generated by concurrency relations, The word problem for one-relation monoids: a survey, Semigroups presented by one relation and satisfying the Church-Rosser property, Remarks on an example of Jantzen, Homogeneous Thue systems and the Church-Rosser property, The Church-Rosser property and special Thue systems

Cites Work

• Unnamed Item
• Unnamed Item
• The equation \(a_ M=b^ Nc^ P\) in a free group
• Testing for the Church-Rosser property
• On a special monoid with a single defining relation
• 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
• Tree-Manipulating Systems and Church-Rosser Theorems