maquina de turing e von neumann

10 TÉCNICO EM INFORMÁTICA
ALUNO: JOSÉ LUIZ
A MÁQUINA DE TURING Máquina de Turing é um dispositivo imaginário que formou a estrutura para fundamentar a ciência da computação moderna. Seu inventor, o matemático Alan Mathison Turing, mostrou que a computação das operações de leitura, escrita e exclusão de símbolos binários poderiam ser satisfeitas por uma máquina que continha uma fita de comprimento ilimitado, com quadrados de tamanho definido sobre ela e um dispositivo com um número finito de estados, que realizava as operações na fita. Em 1936 foi formalizado o termo algoritmo: um conjunto finito de instruções simples e precisas, que são descritas com um número finito de símbolos. Qualquer processo aceito por nós homens como um algoritmo é precisamente o que uma máquina de Turing pode fazer” (Alonzo Church, matemático).
Trata‐se de um dispositivo imaginário embasado por uma teoria revolucionária do seu autor, o britânico Alan Mathison Turing, concebida aos 24 anos de idade. A máquina de Turing formou a estrutura básica para fundamentar a ciência da computação moderna e a computabilidade. Foi responsável anos depois, pelo reconhecimento da comunidade científica, declarando Turing com o título simbólico de “pai da computação”.
A teoria foi publicada pela primeira vez em 1936, num artigo intitulado "On Computable Numbers, with an Application on the Entscheidungsproblem", em resposta ao tratamento do problema da decisão, formulado por Hilbert. Turing estudava na universidade de Princeton, Nova Jersey‐EUA. Apesar da máquina de Turing não ter sido implementada fisicamente, na totalidade pelo seu autor, o processo computacional foi matematicamente demostrado e provado no artigo. Turing explicitou um dispositivo lógico que ele chamou de "automatic machine" (ou “a‐machine”), capaz de ler, escrever e apagar símbolos binários em uma fita de comprimento ilimitado e dividida por quadrados de igual tamanho. Uma cabeça de leitura/gravação se moveria em qualquer direção ao