Abstract
We show that the classical Hausdorff and constructive dimensions of any union of $\Pi^0_1$-definable sets of binary sequences are equal. If the union is effective, that is, the set of sequences is $\Sigma^0_2$-definable, then the computable dimension also equals the Hausdorff dimension. This second result is implicit in the work of Staiger (1998). Staiger also proved related results using entropy rates of decidable languages. We show that Staiger’s computable entropy rate provides an equivalent definition of computable dimension. We also prove that a constructive version of Staiger’s entropy rate coincides with constructive dimension.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Hitchcock, J. Correspondence Principles for Effective Dimensions. Theory Comput Syst 38, 559–571 (2005). https://doi.org/10.1007/s00224-004-1122-1
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00224-004-1122-1