Selection Functions that Do Not Preserve Normality

  • Authors:

  • Wolfgang Merkle;Jan Reimann

  • Affiliations:

  • Institut fur Informatik, Ruprecht-Karls-Universitat Heidelberg, Im Neuenheimer Feld 294, D-69120 Heidelberg, Germany;Institut fur Informatik, Ruprecht-Karls-Universitat Heidelberg, Im Neuenheimer Feld 294, D-69120 Heidelberg, Germany

  • Venue:
  • Theory of Computing Systems
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

The sequence selected from a sequence R(0)R(1)··· by a language L is the subsequence of R that contains exactly the bits R(n+1) such that the prefix R(0)··· R(n) is in L. By a result of Agafonoff, a sequence is normal if and only if any subsequence selected by a regular language is again normal. Kamae and Weiss and others have raised the question of how complex a language must be such that selecting according to the language does not preserve normality. We show that there are such languages that are only slightly more complicated than regular ones, namely, normality is preserved neither by deterministic one-counter languages nor by linear languages. In fact, for both types of languages it is possible to select a constant sequence from a normal one.