@Tsuyoshi:
Não entendi bem sua prova.
Suponha que escolhemos uma Máquina de Turing padrão como "linguagem de descrição", definindo como o número de estados da menor TM que começa com uma fita vazia e pára após imprimir oK( S ) sequência nela.s
Será que você provou que podemos construir um que "imprime" a corda s s = 1111 ... 1 = 1 2 n + 1 na fita e é construído com menos estados de T M s que "imprime" o string s = 1 2 n ?TMs ss s = 1111 ... 1 = 12n + 1TMss = 12n
Sua prova pode ser aplicada à complexidade de Kolmogorov nas TMs?
ESTÁ BEM! I GOT IT ... quando do T M s s pode ser "alimentado" com um novo "loop interno" (nós adicionamos alguns estados, mas podemos remover muitos estados que em T M s são necessários para " contando " n ) ... Obrigado!n + 1 = 2mTMs sTMsn
(desculpe, mas não sei como postar isso como comentário)