Semigroups presented by one relation and satisfying the Church-Rosser property
type: Item
instance of: scholarly article
title: Semigroups presented by one relation and satisfying the Church-Rosser property
zbMATH Open document ID: 0929.68075
DOI: 10.1007/BF02355010
author: Yu. È. Trubitsyn
published in: Mathematical Notes
publication date: 1999-01-11T00:00:00Z
review text: The author gives a condition for a one-rule semi-Thue system (string rewriting system) \(A\to B\) to be Church-Rosser when the longest self-overlapping of \(A\) is shorter than \(B\). (Reviewer's remark: A necessary and sufficient condition for an arbitrary one-rule system to be Church-Rosser was given in \textit{C. Wrathall} [Confluence of one-rule Thue systems, Lect, Notes Comput. Sci. 572, 237-246 (1992)].
reviewed by: Yuji Kobayashi
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 20M05
zbMATH DE Number: 1237983
zbMATH Keywords: string rewriting system
MaRDI profile type: Publication
cites work: A note on special thue systems with a single defining relation
cites work: A note on thue systems with a single defining relation
cites work: Q4170913
cites work: Q5602108
cites work: About the descriptive power of certain classes of finite string-rewriting systems
cites work: Thue systems as rewriting systems
cites work: The word problem for one-relator semigroups
cites work: On the divisibility problem for one-relator monoids
cites work: Conjugacy in monoids with a special Church-Rosser presentation is decidable
cites work: Q4145895
cites work: On the geometry of semigroup presentations
Recommended article: Certain one-relator products of semigroups
Recommended article: Q4311865
Recommended article: Semigroups with one defining relation whose elementary theories are solvable
Recommended article: Residual finiteness of a class of semigroups presented by a single relation
Recommended article: The word problem for one-relator semigroups
Recommended article: Semigroups of relatively continuous binary relations and their isomorphisms
Recommended article: Q3699905
Recommended article: Q3349100
Recommended article: Semigroups related to certain group presentations.
Recommended article: Q5465059
description: scientific article; zbMATH DE number 1237983