On the Computability of the Topological Entropy of Subshifts

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 subshif...

Full description

Bibliographic Details
Main Author: Jakob Grue Simonsen
Format: Article
Language:English
Published: Discrete Mathematics & Theoretical Computer Science 2006-01-01
Series:Discrete Mathematics & Theoretical Computer Science
Online Access:http://www.dmtcs.org/dmtcs-ojs/index.php/dmtcs/article/view/456