? A máquina de Turing foi descrita pela primeira vez em 1937 por Alan Mathison Turing, um matemático e pioneiro da ciência da computação Inglês . Uma máquina de Turing não é uma máquina , no sentido tradicional , mas não é um dispositivo mecânico que se destina a ser realmente concebidos . Em vez disso, ele é uma máquina conceitual ou matemática. Alan Turing

Alan Mathison Turing nasceu em Paddington , Londres, em 1912. Ele estudou matemática na Universidade de Cambridge, onde , posteriormente, ensinou , antes de se mudar para a Universidade de Princeton em 1936. Ele retornou à Inglaterra em 1938 e durante a Segunda Guerra Mundial trabalhou para o Código de Governo e Escola Cypher em Bletchley Park, no Reino Unido, onde ele liderou a equipe responsável por quebrar o código alemão Enigma. Ele trabalhou para a National Physical Laboratory e da Universidade de Manchester após a guerra e foi eleito membro da Royal Society em 1951. Após a condenação para a homossexualidade em 1952 , Turing se suicidou em 1954 aos 41 anos .
Abstrata do

A máquina de Turing é, de fato , um computador abstrato simples. Ele pode ser visualizado como tendo uma fita infinitamente longo , 1 - D dividida em células , cada uma das quais contém um 0 ou um 1 . Ele também tem uma cabeça de leitura e escrita que pode mover-se para trás e para frente ao longo da fita para acessar o conteúdo de cada célula. A fita pode ser pensado como a memória da máquina de Turing - mas , é claro , infinito - ea cabeça de leitura e escrita , como o barramento de memória
Filosofia < br. >

Alan Turing descreveu a máquina de Turing em um esforço para responder a uma das questões fundamentais da filosofia da ciência da computação , ou seja, o que significa para uma tarefa a ser computável . Intuitivamente, uma tarefa é computável se ele pode ser dividido em um conjunto de instruções - também conhecido como um " algoritmo " - que podem ser realizadas por uma máquina de algum tipo para completar a tarefa. No entanto, diferentes máquinas pode ser capaz de executar instruções diferentes e completar tarefas diferentes , por isso há um número infinito de máquinas de Turing .
Universal Máquina de Turing

No entanto, Turing imaginou cada algoritmo , para cada tarefa particular, escrito como um conjunto de instruções em um formulário padrão. Se o formulário padrão para cada tarefa é fornecido a uma única máquina de Turing , a máquina pode ser feita de interpretar as instruções e executá-las da mesma forma como determinadas máquinas de Turing e é capaz de completar todas as tarefas possíveis . Isto é o que é conhecido como uma "máquina de Turing universal. "