An unpredictability approach to finite-state randomness
Journal of Computer and System Sciences
Theoretical Computer Science
Entropy rates and finite-state dimension
Theoretical Computer Science
Selection Functions that Do Not Preserve Normality
Theory of Computing Systems
| Hi-index | 5.23 |
We give an elementary and direct proof of the following theorem: A real number is normal to a given integer base if, and only if, its expansion in that base is incompressible by lossless finite-state compressors (these are finite automata augmented with an output transition function such that the automata input-output behaviour is injective; they are also known as injective finite-state transducers). As a corollary we obtain V.N. Agafonov's theorem on the preservation of normality on subsequences selected by finite automata.