When is a monoid a group? The Church-Rosser case is tractable (Q1166924)
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: When is a monoid a group? The Church-Rosser case is tractable |
scientific article; zbMATH DE number 3770930
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | When is a monoid a group? The Church-Rosser case is tractable |
scientific article; zbMATH DE number 3770930 |
Statements
When is a monoid a group? The Church-Rosser case is tractable (English)
0 references
1982
0 references
Thue system on a finite alphabet
0 references
polynomial-time decision procedure
0 references
context-free grammar
0 references
finite monadic Church-Rosser Thue system
0 references
