One-to-one mappings defined by finite transformers (Q1922338)

The author introduces a class of finite algorithms (called \(R\)-transformers) which operate with infinite binary sequences of real numbers. It is shown that such algorithms can be used to construct a singular strictly increasing function and a bijection between the Euclidean plane and a real line. A number of properties of \(R\)-transformers and their inverse maps are discussed.