Presentations of K-trivial reals and kolmogorov complexity

  • Authors:
  • Frank Stephan;Guohua Wu

  • Affiliations:
  • School of Computing, National University of Singapore, Singapore;School of Mathematics, Statistics and Computer Science, Victoria University of Wellington, Wellington, New Zealand

  • Venue:
  • CiE'05 Proceedings of the First international conference on Computability in Europe: new Computational Paradigms
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

For given real α ∈ {0,1}∞, a presentation V of α is a prefix-free and recursively enumerable subset of {0,1}* such that $\alpha = \Sigma_{\sigma\epsilon\nu}2^{-|\sigma|}$. So, α has a presentation iff α is a left-r.e. real.