Content deleted Content added
→top: first two ref.s describe identical paper - joining them into one |
m →Universal probability: Removed extraneous space |
||
Line 381:
Note. <math>U(p) = x</math> does not mean that the input stream is <math>p000\cdots</math>, but that the universal Turing machine would halt at some point after reading the initial segment <math>p</math>, without reading any further input, and that, when it halts, its has written <math>x</math> to the output tape.
'''Theorem.''' (Theorem 14.11.1
==Conditional versions==
|