Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Universal Recursively Enumerable Sets of Strings

Cristian S. CaludeContact Information, André NiesContact Information, Ludwig StaigerContact Information and Frank StephanContact Information

(1)  Department of Computer Science, The University of Auckland, Private Bag 92019, Auckland, New Zealand
(2)  Institut für Informatik, Martin-Luther-Universität Halle-Wittenberg, D - 06099 Halle, Germany
(3)  Department of Mathematics and School of Computing, National University of Singapore, Singapore, 117543
Abstract
The present work clarifies the relation between domains of universal machines and r.e. prefix-free supersets of such sets. One such characterisation can be obtained in terms of the spectrum function s W (n) mapping n to the number of all strings of length n in the set W. An r.e. prefix-free set W is the superset of the domain of a universal machine iff there are two constants c,d such that s W (n) + s W (n + 1) + ... + s W (n + c) is between 2 n − H(n) − d and 2 n − H(n) + d for all n; W is the domain of a universal machine iff there is a constant c such that for each n the pair of n and s W (n) + s W (n + 1) + ... + s W (n + c) has at least the prefix-free Description complexity n. There exists a prefix-free r.e. superset W of a domain of a universal machine which is the not a domain of a universal machine; still, the halting probability Ω W of such a set W is Martin-Löf random. Furthermore, it is investigated to which extend this results can be transferred to plain universal machines.

Contact Information Cristian S. Calude
Email: cristian@cs.auckland.ac.nz

Contact Information André Nies
Email: andre@cs.auckland.ac.nz

Contact Information Ludwig Staiger
Email: staiger@informatik.uni-halle.de

Contact Information Frank Stephan
Email: fstephan@comp.nus.edu.sg
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.112 • Server: mpweb06
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)