The dimension of ergodic random sequences

Mathieu Hoyrup

Let μbe a computable ergodic shift-invariant measure over the Cantor space. Providing a constructive proof of Shannon-McMillan-Breiman theorem, V'yugin proved that if a sequence x…