Representability of recursive P. Martin-Löf tests

Cristian S. Calude; Ion Chiţescu

Kybernetika (1983)

  • Volume: 19, Issue: 6, page 526-536
  • ISSN: 0023-5954

How to cite

top

Calude, Cristian S., and Chiţescu, Ion. "Representability of recursive P. Martin-Löf tests." Kybernetika 19.6 (1983): 526-536. <http://eudml.org/doc/27855>.

@article{Calude1983,
author = {Calude, Cristian S., Chiţescu, Ion},
journal = {Kybernetika},
keywords = {Martin-Loef test},
language = {eng},
number = {6},
pages = {526-536},
publisher = {Institute of Information Theory and Automation AS CR},
title = {Representability of recursive P. Martin-Löf tests},
url = {http://eudml.org/doc/27855},
volume = {19},
year = {1983},
}

TY - JOUR
AU - Calude, Cristian S.
AU - Chiţescu, Ion
TI - Representability of recursive P. Martin-Löf tests
JO - Kybernetika
PY - 1983
PB - Institute of Information Theory and Automation AS CR
VL - 19
IS - 6
SP - 526
EP - 536
LA - eng
KW - Martin-Loef test
UR - http://eudml.org/doc/27855
ER -

References

top
  1. C. Calude, I. Chijescu, Random strings according to A. N. Kolmogorov and P. Martin-Löf. Classical approach, Found. Control Engrg. 3 (1982), 73 - 85. (1982) MR0691575
  2. C. Calude, I. Chitescu, On representability of P. Martin-Löf tests, Kybernetika 19 (1983), 42-47. (1983) Zbl0529.03020MR0734837
  3. A. N. Kolmogorov, Three approaches to the quantitative definition of information, Problems Inform. Transmission 1 (1965), 1 - 7. (1965) MR0184801
  4. M. Machtey, P. Young, An Introduction to the General Theory of Algorithms, North-Holland, Amsterdam 1978. (1978) Zbl0376.68027MR0483344
  5. P. Martin-Löf, The definition of random sequences, Inform. and Control 19 (1966), 602-619. (1966) MR0223179
  6. H. Rogers, Jr., The Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York 1967. (1967) MR0224462
  7. V. A. Uspensky, A. L. Semenov, What are the gains of the theory of algorithms, In: Algorithms in Modern Mathematics and Computer Science (A. P. Ersov, D. E. Knuth, eds.), Springer-Verlag, Berlin-Heidelberg-New York 1981, 100-234. (1981) MR0657617

NotesEmbed ?

top

You must be logged in to post comments.