The Schnorr-Stimm dichotomy theorem (Schnorr and Stimm, 1972) concerns finite-state gamblers that bet on infinite sequences of symbols taken from a finite alphabet Σ. asserts that, for any such sequence S, the following two things are true. (1) If S is not normal in sense Borel (meaning every strings equal length appear with asymptotic frequency S), then there gambler wins money at an infinitel...