Para as complexidades de Kolmogorov induzidas por linguagens de descrição essencialmente ótimas,
existe um número inteiro tal que, para todos os números inteiros positivos ,
exista uma cadeia tal que?
Ao contrário da pergunta em que me inspirei , a resposta dessa pergunta é robusta contra a escolha de, já que por definição é uma "linguagem de descrição essencialmente ótima" se e somente se
for uma função parcial computável de{
para si próprio, de modo que, para todas as
funções parciais computáveis L
de{ para si mesmo, existe um
número inteiroce uma função computável (total)
tal que
para todas as strings , e .