Approximating S through AS
1. Run FAST until x first computed in PHASE Kt(x). Set n(x) := size of smallest found program for x.
2. S?(x) := sum of contributions to S(x) of all PHASEs up to number Kt(x)+n(x)+1-log ?
3. Halt, since |S?(x) -S(x) | < ? S(x)
Back to J. Schmidhuber's Speed Prior page