On the computability of the topological entropy of subshifts

Abstract : We prove that the topological entropy of subshifts having decidable language is uncomputable in the following sense: For no error bound less than 1/4 does there exists a program that, given a decision procedure for the language of a subshift as input, will approximate the entropy of the subshift within the error bound. In addition, we prove that not only is the topological entropy of sofic shifts computable to arbitary precision (a well-known fact), but all standard comparisons of the topological entropy with rational numbers are decidable.
Type de document :
Article dans une revue
Discrete Mathematics and Theoretical Computer Science, DMTCS, 2006, 8, pp.83--95
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00961115
Contributeur : Service Ist Inria Sophia Antipolis-Méditerranée / I3s <>
Soumis le : jeudi 20 mars 2014 - 08:45:02
Dernière modification le : mercredi 29 novembre 2017 - 10:26:23
Document(s) archivé(s) le : vendredi 20 juin 2014 - 10:42:20

Fichier

456-1734-1-PB.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-00961115, version 1

Collections

Citation

Jakob Grue Simonsen. On the computability of the topological entropy of subshifts. Discrete Mathematics and Theoretical Computer Science, DMTCS, 2006, 8, pp.83--95. 〈hal-00961115〉

Partager

Métriques

Consultations de la notice

118

Téléchargements de fichiers

169