Undecidability of infinite post correspondence problem for instances of size 8 (Q2905329)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Undecidability of infinite post correspondence problem for instances of size 8 |
scientific article |
Statements
Undecidability of infinite post correspondence problem for instances of size 8 (English)
0 references
27 August 2012
0 references
\(\omega \)PCP
0 references
semi-Thue system
0 references
undecidability
0 references
theory of computation
0 references
0 references
