A mesma máquina de IL06, com duas convenções de codificação. Na plana, cada instrução ocupa 2 bits e o comprimento do programa vem de fora. Na autodelimitada, um bit extra diz se o programa continua — e o conjunto de programas passa a ser livre de prefixos. Só a segunda satisfaz Kraft.
M(x) soma todas as descrições de x, cada uma pesada por 2 elevado a menos o seu comprimento. Repare que strings com o mesmo K podem ter massas bem diferentes: é a quantidade de descrições que decide.
| string | M(x) | −log₂ M | K(x) | programas |
|---|