Constructive dimension equals Kolmogorov complexity

  • Authors:
  • Ludwig Staiger

  • Affiliations:
  • Martin-Luther-Universität Halle-Wittenberg, Institut für Informatik, Seckendorff-Platz 1, D-06099 Halle, Germany

  • Venue:
  • Information Processing Letters
  • Year:
  • 2005

Quantified Score

Hi-index 0.89

Visualization

Abstract

We derive the coincidence of Lutz's constructive dimension and Kolmogorov complexity for sets of infinite strings from Levin's early result on the existence of an optimal left computable cylindrical semi-measure M via simple calculations.