When is a monoid a group? The Church-Rosser case is tractable (Q1166924)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | When is a monoid a group? The Church-Rosser case is tractable |
scientific article |
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
