An enumerable undecidable set with low prefix complexity: a simplified proof

Nikolai K. Vereshchagin

Published in: Electron. Colloquium Comput. Complex. (2001)

Keyphrases

data structure
expressive power
information retrieval
image sequences
data model
probability distribution
small number
user defined
decision problems