Máquina De Turing Disciplina: Teoria da Computação Prof. Jorge Muniz Barreto Alunos: John Anderson Freitas Mendes Rafael Andrade 06 de Junho de 2002
Cronograma Introdução O Teste de Turing Máquina de Turing Representação em Tabela Exemplo Bibliografias
Introdução à Máquina de Turing Condição: A Máquina de Turing deve ser finita, constituir passos discretos, que possam ser executados mecanicamente e em tempo finito. Turing imaginou uma máquina que poderia efetuar de forma automática os processos geralmente desenvolvidos por um matemático.
O Teste de Turing Turing Considerou que um observador “A” isolado de duas outras pessoas “B” e “C”, poderia estabelecer uma conversa. A partir de um instante, uma das pessoas seria substituída por um computador que continuaria o diálogo. Se o computador fosse inteligente, a pessoa não perceberia a troca.
Máquina de Turing Consiste em 3 partes: Uma fita dividida em células. Uma unidade de controle (ponteiro) que imprime um símbolo na célula de fita apontada. Um programa ou função de transição que comanda as leituras e gravações onde os vértices são chamados estados Turing provou que para qualquer sistema formal existe uma máquina de Turing que pode ser programada para imitá-lo.
Máquina de Turing Representada por uma tabela
Exemplo do Funcionamento da Máquina de Turing http://www.inf.ufsc.br/~andrade/turing
Principais Referências Bibliográficas Elementos de Teoria da Computação: Harry R. Leiws e Christos H. Papadimitriou; Editora Bookman; 2000 Thomas A. Sudkamp, "Languages and Machines", 1997. Máquina de Turing (http://www.cic.unb.br/tutores/turing/MaqTur.html)