Resultados da pesquisa

...alto de Turing''' ou '''Operador de Salto de Turing''', nomeado por [[Alan Turing]], é um operador que designa para cada [[problema de decisão]] {{math|''X'' ...nte, dado um problema, o Salto de Turing retorna o conjunto de máquinas de Turing que param quando se é dado um acesso a um oráculo que resolve este problema ...

...ão computável]] por uma máquina Turing com um oráculo para B. A redução de Turing pode ser aplicada tanto para [[Problema de decisão|problemas de decisão]] q ...ante pode requerer mais tempo do que o normal do que qualquer M ou máquina Turing com oráculo e pode necessitar de tanto espaço quanto os dois juntos. ...

'''Estimativa de frequência Good-Turing''' é uma técnica estatística para prever a probabilidade de ocorrência de o ...emanha]] para o [[Enigma (máquina)]] durante a [[Segunda Guerra Mundial]]. Turing primeiramente modelou as frequências como uma [[distribuição multinominal]] ...

...considerados como [[problema da decisão|problemas de decisão]], o grau de Turing de um conjunto diz o quão difícil é resolver o [[problema de decisão]] asso ...retamente decide se os números estão em “X”. É neste sentido que o grau de Turing de um conjunto corresponde ao seu nível de insolubilidade algorítmica. ...

...decisão | problemas de decisão]]. Ela pode ser vista como uma [[máquina de Turing]] com uma caixa preta, chamada de [[oráculo]], que é capaz de decidir algun ...máquina oráculo pode executar todas as operações usuais de uma máquina de Turing, e pode também fazer consultas ao oráculo na procura de uma resposta a uma ...

...no cálculo lambda). Essa suposição é agora conhecida como [[tese de Church-Turing]]. ...ntscheidungsproblem'' de Hilbert".<ref name=":0">{{citar livro|título=Alan Turing: the enigma.|ultimo=Hodges|primeiro=Andrew|editora=Simon and Schuster|ano=1 ...

...s.ViewIssuePreview&ARTICLEID_CHAR=94B166BF-E481-47FA-80C8-112C6BAF404 Alan Turing's forgotten ideas in computer science]''. [[Scientific American]], April 19 Esses termos não são exatamente sinônimos: computação super-Turing geralmente implica que o modelo proposto é supostamente fisicamente realizá ...

...gorítmica da informação''' (por tratar com [[algoritmo]]s). A [[Máquina de Turing]] é usada como mecanismo para descrever os objetos (para definir os algorit ...teoria da informação baseada no tamanho dos programas para a [[Máquina de Turing]]. Convencionou-se chamar a área genericamente de "complexidade de Kolmogor ...

{{Turing}} ...com uma capacidade de memória infinita, inicialmente concebida por [[Alan Turing]] em 1936. A máquina manipula símbolos em células de uma fita potencialment ...

...ilar, modelos matemáticos de algoritmos super-recursivos, como máquinas de Turing indutivas, permitem aos pesquisadores achar propriedades dos algoritmos sup ...goritmos super-recursivos podem ser usados para refutar a [[Tese de Church-Turing]], mas esse ponto de vista foi muito criticado pela comunidade matemática e ...

...dem ser dadas usando funções μ-recursivas, [[máquina de Turing|máquinas de Turing]] ou cálculo-λ como a representação formal de [[algoritmos]]. Os números co == Definição informal usando uma máquina de Turing como exemplo == ...

...o também como Modelo Turing em referência ao cientista e matemático [[Alan Turing]], que iniciou esta linha de pesquisa com seu último artigo publicado antes Utilizando-se desta segunda estratégia, Alan Turing desenvolveu o Modelo de Reação-Difusão, capaz de descrever como padrões esp ...

|legenda =Ronald Rivest (centro), com [[Alan Sherman]] (esquerda) e [[David Chaum]] (direita), em 2007 ...]}}, {{nowrap|[[Ron Pinter]]}}, {{nowrap|[[Robert Schapire]]}}, {{nowrap|[[Alan Sherman]]}}, {{nowrap|[[Mona Singh]]}}, {{nowrap|[[Andrew Sutherland]]}} ...

...o seu [[Teorema da Incompletude de Gödel|teorema da incompletude]]. [[Alan Turing]] provou a indecidibilidade do [[problema da parada]] usando o mesmo parado ...

...vimento histórico. [[Alan Turing]] num artigo de 1936 sobre a [[Máquina de Turing]] mostrou a existência de um computador universal que computa a função <mat ...tal que não se pode prová-la ou refutá-la. Church usou [[Cálculo lambda]], Turing um computador idealizado, e mais tarde Emil Post sua abordagem, sendo todas ...

...o problema da parada é ''indecidível'' nas [[Máquina de Turing|Máquinas de Turing]]. ...ogramação]] que é geral o suficiente para ser equivalente a uma máquina de Turing. O problema é determinar para uma dada entrada se o programa irá parar com ...

...conjunto de funções computáveis são as [[função Turing-computável|funções Turing-computáveis]] e as [[função μ-recursiva|funções μ-recursivas]]. De acordo com a [[tese de Church-Turing]], funções computáveis são exatamente as funções que podem ser calculadas u ...

...e que para qualquer string binária ''x'' tal que ''F(x) = y'' a máquina de Turing para com ''y'' em sua fita quando dada a entrada ''x''). A função ''F'' é chamada '''[[Turing completude|universal]]''' se a possui a seguinte propriedade: para cada fu ...

....png|miniatura|direita|247x247px|Representação artística de uma máquina de Turing]] {{Turing}} ...

...issertação de Turing nunca foi publicada.<ref>Hodges, Andrew (1983) ''Alan Turing: the enigma''. London: Burnett Books., pp. 87-88.{{full|date=November 2012} ...