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 »