En la teoría algorítmica de la información, el teorema de invariancia, inicialmente probado por Ray Solomonoff, establece que una máquina universal de Turing proporciona un medio óptimo de la descripción, salvo una constante aditiva. Formalmente, para cada máquina M existe una constante c tal que para todas las cadenas binarias x se tiene Esto se deduce trivialmente de la definición de una máquina universal de Turing, siendo c = ℓ (<M>) la longitud de la codificación de M.