Finite Self-Information
Denis R. Hirschfeldt, Rebecca Weber · Computability · 2012
We present a definition, due to Levin, of mutual information I (A : B ) for infinite sequences. We say that a set A has finite self-information if I (A : A ) < ∞. It is easy to see that every K -trivial set has finite self-information. We answer a