Variants of Solomonoff induction

This page lists some variants of Solomonoff induction.

Source	Formula	Determinism	Type of machine used	Discrete vs continuous
LessWrong Wiki	$m(y_{0})=\sum _{p\in {\mathcal {P}}:U(p)=y_{0}}2^{\ell (p)}$	Deterministic	Page doesn't say, but uses self-delimiting programs	Discrete because the output string $y_{0}$ is finite