Logotipo
Unionpédia
Comunicação
Disponível no Google Play
Novo! Faça o download do Unionpédia em seu dispositivo Android™!
Instalar
Acesso mais rápido do que o navegador!
 

Exemplos de Máquinas de Turing

Índice Exemplos de Máquinas de Turing

Os exemplos a seguir são para complementar o artigo Máquina de Turing.

7 relações: Alan Turing, Algoritmo do castor, Indução matemática, Martin Davis, Máquina de estados finita, Máquina de Post-Turing, Máquina de Turing.

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!!: Exemplos de Máquinas de Turing e Alan Turing · Veja mais »

Algoritmo do castor

Em Teoria da Computação, o algoritmo do castor (busy beaver) é uma máquina de Turing que, após iniciada em uma fita vazia (todas as posições em branco ou com 0), executa o maior número de passos possível, mas eventualmente para.

Novo!!: Exemplos de Máquinas de Turing e Algoritmo do castor · Veja mais »

Indução matemática

O efeito dominó Indução matemática é um método de prova matemática usado para demonstrar a verdade de um número infinito de proposições.

Novo!!: Exemplos de Máquinas de Turing e Indução matemática · Veja mais »

Martin Davis

Martin David Davis (Nova Iorque, - 1 de janeiro de 2023) foi um matemático estadunidense.

Novo!!: Exemplos de Máquinas de Turing e Martin Davis · Veja mais »

Máquina de estados finita

Uma máquina de estados finita (FSM - do inglês Finite State Machine) ou autômato finito é um modelo matemático usado para representar programas de computadores ou circuitos lógicos.

Novo!!: Exemplos de Máquinas de Turing e Máquina de estados finita · Veja mais »

Máquina de Post-Turing

A máquina de Post-Turing é uma "formulação de um programa" de um tipo especialmente simples de máquina de Turing, compreendendo uma variante do modelo de computação Turing-equivalente de Emil Post descrito abaixo.

Novo!!: Exemplos de Máquinas de Turing e Máquina de Post-Turing · 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!!: Exemplos de Máquinas de Turing e Máquina de Turing · Veja mais »

CessanteEntrada
Ei! Agora estamos em Facebook! »