Semigroups presented by one relation and satisfying the Church-Rosser property (Q1274007)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Semigroups presented by one relation and satisfying the Church-Rosser property |
scientific article; zbMATH DE number 1237983
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Semigroups presented by one relation and satisfying the Church-Rosser property |
scientific article; zbMATH DE number 1237983 |
Statements
Semigroups presented by one relation and satisfying the Church-Rosser property (English)
0 references
11 January 1999
0 references
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)].
0 references
string rewriting system
0 references
0.8847772
0 references
0.87151104
0 references
0.86900777
0 references
0.8612101
0 references
0.8608395
0 references
0.85736346
0 references
