No artigo de 1965 " Sobre a complexidade computacional dos algoritmos ", de Hartmanis e Stearns, os autores conjeturam que se uma Máquina de Turing em tempo real computa o número real , por exemplo, na base 10, então é um número racional ou um número transcendental.
Existe um número transcendental computável que não é computável por uma máquina de Turing em tempo real, por exemplo, na base 10?
cc.complexity-theory
reference-request
examples
XL _At_Here_There
fonte
fonte
Respostas:
Seja um idioma EXPTIME-complete e seja o real correspondente. Claramente é computável. O número não pode ser algébrica desde o -ésimo bit de um número algébrico pode ser calculado em tempo ( Datta e Pratap ). Uma vez que o -ésimo bit de qualquer número calculável por uma máquina de Turing em tempo real pode ser calculado em tempo , não pode ser calculado por um tempo real Turing máquina.r ∈ ( 0 , 1 ) r r n n O ( 1 ) n O ( n ) rL r∈(0,1) r r n nO(1) n O(n) r
fonte