Summary
We consider the behaviour of finite automata on infinite binary sequences and study the class of random tests which can be carried out by finite automata. We give several equivalent characterizations of those infinite binary sequences which are random relative to finite automata. These characterizations are based on the concepts of selection rules, martingales and invariance properties defined by finite automata.
Similar content being viewed by others
Literatur
Agafonoff, V. N.: Normal sequences and finite automata. Soviet Math. Dokl. 9, 324–325 (1968) (engl. Übersetzung).
Böhling, K. H., Indermark, K.: Endliche Automaten I. Mannheim: BI 1969.
Chaitin, G. J.: On the length of programs for computing finite binary sequences. Journ. ACM 13, 547–569 (1966).
Chung, K. L.: Markov chains with stationary transition probabilities, 2. edition. Berlin-Göttingen-Heidelberg: Springer 1967.
Copeland, A. H.: Admissible numbers in the theory of probability. Amer. Journ. Math. 50, 535–552 (1928).
Doob, J. L.: Note on probability. Annals of Math. 37, 363–367 (1936).
Hotz, G., Walter, H.: Automatentheorie und formale Sprachen. Mannheim: BI 1969.
Kolmogoroff, A. N.: Drei Zugänge zur Definition des Begriffs „Informationsgehalt” [russisch]. Probl. peredaci informacii 1, 3–11 (1965).
Loveland, D. W.: A variant of the Komogoroff concept of complexity. Inform. Control 15, 510–526 (1969).
Martin-Löf, P.: The definition of Random sequences. Inform. Control 6, 602–619 (1966).
Popper, K.: Logik der Forschung zur Erkenntnistheorie der modernen Naturwissenschaft. Schriften zur wissenschaftlichen Weltauffassung, Bd. 9. Wien: Springer 1935.
Reichenbach, H.: Wahrscheinlichkeitslehre. Leiden: Sijthoff 1935.
Schnorr, C. P.: Zufälligkeit und Wahrscheinlichkeit. Lecture Notes. Berlin-Heidelberg-New York: Springer 1971.
Author information
Authors and Affiliations
Additional information
Diese Arbeit wurde im Rahmen des Forschungsvorhabens Schn 143/1 von der Deutschen Forschungsgemeinschaft gefördert.
Rights and permissions
About this article
Cite this article
Schnorr, C.P., Stimm, H. Endliche Automaten und Zufallsfolgen. Acta Informatica 1, 345–359 (1972). https://doi.org/10.1007/BF00289514
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00289514