Abstract
In this paper, we are interested in computability aspects of subshifts and in particular Turing degrees of two-dimensional subshifts of finite type (SFTs) (i.e., tilings). To be more precise, we prove that, given any Π10 class P of {0,1}N, there is an SFT X such that P×Z2 is recursively homeomorphic to Xâ̂-U, where U is a computable set of points. As a consequence, if P contains a computable member, P and X have the exact same set of Turing degrees. On the other hand, we prove that, if X contains only non-computable members, some of its members always have different but comparable degrees. This gives a fairly complete study of Turing degrees of SFTs.
| Original language | English |
|---|---|
| Pages (from-to) | 81-92 |
| Number of pages | 12 |
| Journal | Theoretical Computer Science |
| Volume | 505 |
| DOIs | |
| Publication status | Published - 1 Jan 2013 |
| Externally published | Yes |
Keywords
- Subshift of finite type
- Tilings
- Turing degree
- Undecidability
- Π 1 0 classes