# Turing degrees of multidimensional subshifts

1 CARTE - Theoretical adverse computations, and safety
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : In this paper we are interested in computability aspects of subshifts and in particular Turing degrees of 2-dimensional SFTs (i.e. tilings). To be more precise, we prove that given any \pizu subset $P$ of $\{0,1\}^\NN$ there is a SFT $X$ such that $P\times\ZZ^2$ is recursively homeomorphic to $X\setminus U$ where $U$ is a computable set of points. As a consequence, if $P$ contains a recursive member, $P$ and $X$ have the exact same set of Turing degrees. On the other hand, we prove that if $X$ contains only non-recursive members, some of its members always have different but comparable degrees. This gives a fairly complete study of Turing degrees of SFTs.
Keywords :
Type de document :
Article dans une revue
Theoretical Computer Science, Elsevier, 2013, http://dx.doi.org/10.1016/j.tcs.2012.08.027. 〈10.1016/j.tcs.2012.08.027〉

Littérature citée [23 références]

https://hal.archives-ouvertes.fr/hal-00613165
Contributeur : Pascal Vanier <>
Soumis le : vendredi 1 juin 2012 - 14:33:13
Dernière modification le : mardi 18 décembre 2018 - 16:48:02
Document(s) archivé(s) le : jeudi 15 décembre 2016 - 10:48:28

### Fichiers

tcs-arxiv.pdf
Fichiers produits par l'(les) auteur(s)

### Citation

Emmanuel Jeandel, Pascal Vanier. Turing degrees of multidimensional subshifts. Theoretical Computer Science, Elsevier, 2013, http://dx.doi.org/10.1016/j.tcs.2012.08.027. 〈10.1016/j.tcs.2012.08.027〉. 〈hal-00613165v3〉

### Métriques

Consultations de la notice

## 416

Téléchargements de fichiers