Acesso mais rápido do que o navegador!
23 relações: Abraham Robinson, Alan Turing, Algoritmo de Markov, Andrei Markov, Autômato com fila, Cálculo lambda, Complexidade computacional, Corrado Böhm, DSPACE, Emil Post, Hao Wang (acadêmico), Jeffrey Ullman, John Hopcroft, Linguagem de programação, Marvin Minsky, Máquina de Turing, Máquina Wang-b, P (complexidade), P′′, Programação estruturada, Stephen Cook, Tese de Church-Turing, Turing completude.
Abraham Robinson
Abraham Robinson (— New Haven) foi um matemático estadunidense nascido na Alemanha.
Novo!!: Máquinas de Turing equivalentes e Abraham Robinson · Veja mais »
Alan Turing
Alan Mathison Turing (Londres, 23 de junho de 1912 Wilmslow, Cheshire, 7 de junho de 1954) foi um matemático, cientista da computação, lógico, criptoanalista, filósofo e biólogo teórico britânico.
Novo!!: Máquinas de Turing equivalentes e Alan Turing · Veja mais »
Algoritmo de Markov
Em teoria da computação, o algoritmo de Markov,, Short paper sobre os algoritmos de Markov nomeado assim em homenagem à Andrei Markov, é um sistema de reescrita de cadeias que lança mão de regras de gramáticas para operar sobre cadeias de símbolos.
Novo!!: Máquinas de Turing equivalentes e Algoritmo de Markov · Veja mais »
Andrei Markov
Andrei Andreyevich Markov (Андрей Андреевич Марков; Riazã, — São Petersburgo) foi um matemático russo.
Novo!!: Máquinas de Turing equivalentes e Andrei Markov · Veja mais »
Autômato com fila
Uma máquina com fila ou autômato com fila é uma máquina de estado finito com a habilidade de armazenar e recuperar dados a partir de uma fila de memória infinita.
Novo!!: Máquinas de Turing equivalentes e Autômato com fila · Veja mais »
Cálculo lambda
Na lógica matemática e na ciência da computação, lambda cálculo, também escrito como cálculo-λ é um sistema formal que estuda funções recursivas computáveis, no que se refere a teoria da computabilidade, e fenômenos relacionados, como variáveis ligadas e substituição.
Novo!!: Máquinas de Turing equivalentes e Cálculo lambda · Veja mais »
Complexidade computacional
A teoria da complexidade computacional é um ramo da teoria da computação em ciência da computação teórica e matemática que se concentra em classificar problemas computacionais de acordo com sua dificuldade inerente, e relacionar essas classes entre si.
Novo!!: Máquinas de Turing equivalentes e Complexidade computacional · Veja mais »
Corrado Böhm
Corrado Böhm (Milão, – Roma) foi um cientista da computação italiano.
Novo!!: Máquinas de Turing equivalentes e Corrado Böhm · Veja mais »
DSPACE
Em complexidade computacional, DSPACE ou simplesmente SPACE é um recurso computacional descrevendo a disponibilidade de memória para uma máquina de Turing.
Novo!!: Máquinas de Turing equivalentes e DSPACE · Veja mais »
Emil Post
Emil Leon Post (Augustów, Polônia do Congresso, no Império Russo (atual Polônia), 11 de fevereiro de 1897 – Nova York, Estados Unidos, 21 de abril de 1954) foi um matemático polonês-estadunidense.
Novo!!: Máquinas de Turing equivalentes e Emil Post · Veja mais »
Hao Wang (acadêmico)
Wang Hao, também conhecido por Hao Wang, (Chinês: 王浩, —) foi um matemático e filósofo sino-americano.
Novo!!: Máquinas de Turing equivalentes e Hao Wang (acadêmico) · Veja mais »
Jeffrey Ullman
Jeffrey David Ullman é um cientista da computação estadunidense.
Novo!!: Máquinas de Turing equivalentes e Jeffrey Ullman · Veja mais »
John Hopcroft
John Edward Hopcroft (Seattle) é um professor de ciência da computação estadunidense.
Novo!!: Máquinas de Turing equivalentes e John Hopcroft · Veja mais »
Linguagem de programação
C. A linguagem de programação é um método padronizado, formado por um conjunto de regras sintáticas e semânticas, de implementação de um código fonte - que pode ser compilado e transformado em um programa de computador, ou usado como script interpretado - que informará instruções de processamento ao computador.
Novo!!: Máquinas de Turing equivalentes e Linguagem de programação · Veja mais »
Marvin Minsky
Marvin Lee Minsky (Nova Iorque, – Boston) foi um cientista cognitivo norte-americano.
Novo!!: Máquinas de Turing equivalentes e Marvin Minsky · Veja mais »
Máquina de Turing
Representação artística de uma máquina de Turing A Máquina de Turing é um dispositivo teórico conhecido como máquina universal, que foi concebido pelo matemático britânico Alan Turing (1912-1954), muitos anos antes de existirem os modernos computadores digitais (o artigo de referência foi publicado em 1936).
Novo!!: Máquinas de Turing equivalentes e Máquina de Turing · Veja mais »
Máquina Wang-b
Concebida por Hao Wang (1954, 1957), a simples máquina B é um simples modelo computacional equivalente a Máquina de Turing.Esta é "a primeira formulação da teoria da máquina de turing utilizando computadores como modelo" (Minsky (1967) p. 200).
Novo!!: Máquinas de Turing equivalentes e Máquina Wang-b · Veja mais »
P (complexidade)
Na teoria da complexidade computacional, P é o acrônimo em inglês para Tempo polinomial determinístico (Deterministic Polynomial time) que denota o conjunto de problemas que podem ser resolvidos em tempo polinomial por uma máquina de Turing determinística.
Novo!!: Máquinas de Turing equivalentes e P (complexidade) · Veja mais »
P′′
P′′ é uma linguagem de programação primitiva criada por Corrado Böhm em 1964 para descrever uma família de Máquinas de Turing.
Novo!!: Máquinas de Turing equivalentes e P′′ · Veja mais »
Programação estruturada
Programação Estruturada (PE) é um padrão ou paradigma de programação da engenharia de softwares, com ênfase em sequência, decisão e, iteração (sub-rotinas, laços de repetição, condicionais e, estruturas em bloco), criado no final de 1950 junto às linguagens ALGOL 58 e ALGOL 60, Este paradigma é normalmente formado por código em um único bloco e foi impulsionado pelas vantagens práticas que o paradigma oferece, e também pelo '' (de 1966, também chamado de teorema de Böhm-Jacopini) e a carta aberta de Dijkstra 'Go To Statement Considered Harmful' (de 1968).
Novo!!: Máquinas de Turing equivalentes e Programação estruturada · Veja mais »
Stephen Cook
Stephen Arthur Cook, (Buffalo) é um cientista da computação e matemático estadunidense-canadense, que teve maior contribuição no campo da teoria da complexidade e complexidade de prova.
Novo!!: Máquinas de Turing equivalentes e Stephen Cook · Veja mais »
Tese de Church-Turing
Na teoria da computabilidade, a Tese de Church-Turing ou Tese de Church, assim nomeada em referência a Alonzo Church e Alan Turing, é uma hipótese sobre a natureza de artefatos mecânicos de cálculo, como computadores, e sobre que tipo de algoritmos eles podem executar.
Novo!!: Máquinas de Turing equivalentes e Tese de Church-Turing · Veja mais »
Turing completude
Na teoria da computação, a completude de Turing ou Turing-completo (do inglês: Turing-completeness; batizado em memória de Alan Turing), também chamado computacionalmente universal, é um conjunto de regras para manipulação de dados (semelhante a uma linguagem de programação, um autómato celular, um conjunto de instruções) que pode ser usado para resolver qualquer problema de computação (simula a lógica de qualquer algoritmo de computador).
Novo!!: Máquinas de Turing equivalentes e Turing completude · Veja mais »
