作者: Cristian S. Calude
DOI: 10.1007/978-3-662-04978-5_4
关键词:
摘要: In this chapter — which is basically technical we present two main tools used to design Chaitin computers and consequently establish upper bounds: the extension of Kraft condition (see Theorem 2.8) arbitrary c.e. sets relativized computation. New formulae, closely analogous expressions in classical information theory, are derived.