An application of the theory of computational complexity to the study of inductive inference.