Baixe o app para aproveitar ainda mais
Prévia do material em texto
A MÁQUINA DE TURING Alan Turing e a Máquina de Turing Apresentado a disciplina de pesquisa operacional Alunos: RAFAEL FERREIRA ROMARIO DE SOUZA THAYNA NUNES WELLINGTON COSTA ALAN MATHISON TURING Nascido em Londres de 1912, Alan Turing estudou em Sherborne Scool, onde conheceu Christopher Morcom, se tornaram grandes amigos por compartilhar o mesmo interesse intelectual pela ciência e matemática. Morcom foi o maior influenciador de Turing, e em 1930 quando estavam a entrar na Universidade ele faleceu e Turing quis dar sequência ao que o amigo já não podia mais. Turing entrou na King’s College e graduou-se com honras. Teoria da Computação Em 1928, David Hilbert propôs o chamado Entscheidungsproblem, que pergunta se existe um método mecânico (automático) para determinar se uma dada sentença lógica segue ou não de um conjunto de axiomas. Hilbert tinha convicção de que a resposta era positiva. O teoremas da Incompletude de Kurt Godel diziam que não. Alonzo Church forneceu uma modelagem com funções matemáticas (o λ-Cálculo) Alan Turing forneceu uma modelagem baseada em uma máquina com um pequeno conjunto de operações simples: a Máquina de Turing. A MÁQUINA DE TURING Componentes: Fita infinita À direita dividida em casas Cada casa pode estar em branco ou conter um símbolo do alfabeto da Máquina Cabeça de leitura e escrita: Está sempre situada sobre uma das casas da fita, pode se mover em ambas as direções na fita. Pode ler o símbolo contido na casa sobre a qual está e pode escrever um símbolo na casa sobre a qual está A MÁQUINA DE TURING Uma Máquina de Turing é um modelo computacional simples, que formalizou um procedimento mecânico ou algoritimo A tese de Church-Turing: tudo aquilo que é comumente considerado como “algoritmicamente computável” pode ser computado por uma Máquina de Turing por um modelo matemático simples e preciso de computabilidade 2° Guerra Mundial Em 1938 Turing finalizou seu doutorado onde também estudou criptologia. Com o estouro da 2° Guerra Mundial Turing se apresentou ao Governo Britânico e começou a trabalhar com quebra de códigos, e depois no centro de operações de criptanálise A máquina Enigma era uma máquina desenvolvida pelos alemães para codificar suas instruções militares. Matemáticos poloneses conseguiram quebrar a cifra da máquina Enigma em um modo muito particular de operação. As ideias de Turing permitiram generalizar este método de maneira que qualquer mensagem cifrada com a Enigma pudesse ser decifrada. Turing projetou uma máquina para automatizar o processo de decifrar as mensagens: a máquina Bombe ENIGMA X BOMBE Após a criação do Bombe, Turing dedesenvolveu modelos estatiscos que conseguiram decodificar a cifra Lorenz, cifra usada pelo alto comando alemão, a máquina Colossus, que foi a primeira aplicação com uso em larga escala de circuitos eletrônicos digitais. A MÁQUINA DE TURING UNIVERSAL A máquina de Turing = Algoritmo Máquina de Turing Universal (MTU) = Computador Programável (MTU) é uma máquina capaz de realizar qualquer tarefa algorítmica, desde que o conjunto correto de instruções seja armazenado nela. Turing decidiu construir um computador programável com a velocidade certa e capacidade de armazenamento interno, e deixou um legado ao computador moderno que impactou o desenvolvimento da inteligência artificial, que deu-se por nome teste de turing. FIM! ObrigadO!
Compartilhar