recursos computacionais maquinas de turing: uma visão pragmática Álvaro vinícius de souza...
TRANSCRIPT
![Page 1: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/1.jpg)
Recursos Computacionais
Maquinas de Turing: Uma visão pragmática
Álvaro Vinícius de Souza Coêlho
![Page 2: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/2.jpg)
Roteiro
• Introdução
• Contextualização
• O problema que o mundo queria resolver
• Maquinas de Turing específicas (MT)
• Maquina de Turing Universal (MTU)
• Arquitetura de Von Newman
• Conclusão
![Page 3: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/3.jpg)
Introdução
• Para entender “esse” Turing:
– MTU: autômatos finitos determinísticos
– Matemática abstrata e não um objeto
– Maquina capaz de resolver todo tipo de
problema matemático
![Page 4: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/4.jpg)
Introdução
• Computar: fazer cálculos, contar, efetuar
operações aritméticas
• Os computadores eletrônicos já estão entre nós
há cerca de 60 anos
• Fundamentos em que se baseiam remontam a
centenas ou até mesmo milhares de anos
![Page 5: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/5.jpg)
Introdução
• Computador: mecanismo ou máquina que auxilia essa
tarefa, com vantagens no tempo gasto e na precisão
• Motivação: livrar-se dos trabalhos manuais,
repetitivos e ergonomicamente contra-indicados
– Cálculos
– Tarefas repetitivas
– Monitoramento
– ...
![Page 6: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/6.jpg)
Ábaco
• Primeiro dispositivo manual de cálculo; servia para representar números no sistema decimal e realizar operações com eles
• O mais antigo: 3500 a.C. no Vale entre os rios Tigre e Eufrates
• Suan-Pan: China
• Soroban: Japão
![Page 7: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/7.jpg)
Ábaco
Uma vareta para cada dígito
![Page 8: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/8.jpg)
John Napier
• Nobre escocês de Edimburgo, o
matemático John Napier, inventou os
logaritmos
• Régua de cálculos (primeiro computador analógico da história): pequena régua que deslizava sobre uma base fixa, na qual haviam diversas escalas para a realização de determinadas operações
![Page 9: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/9.jpg)
John Napier
![Page 10: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/10.jpg)
Blaise Pascal
• Em 1642, aos 18 anos, inventou a primeira
máquina automática de calcular, feita de rodas
dentadas que simulavam o funcionamento do
ábaco (sistema decimal)
• Ajudar no seu serviço de contabilidade
![Page 11: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/11.jpg)
Blaise Pascal
• Realizava apenas soma e subtração e o
resultado era mostrado numa seqüência de
janelinhas.
• Pascalina ou Máquina Aritmética de Pascal:
primeira calculadora mecânica
![Page 12: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/12.jpg)
Blaise Pascal
![Page 13: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/13.jpg)
Gottfried Wilhelm von Leibnitz
• Introduziu o conceito de realizar multiplicações e divisões através de adições e subtrações sucessivas
• Aos 12 anos já estudava Latim e Grego como autodidata. Antes de ter 20 anos já possuía mestrado em matemática, filosofia, teologia e leis
![Page 14: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/14.jpg)
Gottfried Wilhelm von Leibnitz
• Em 1672, aperfeiçoou a Máquina de Pascal, construindo a calculadora universal
![Page 15: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/15.jpg)
Joseph Marie Jackuard
• Em 1801 construiu um tear automático que
aceitava entrada de dados através de cartões
perfurados para controlar a confecção e
desenho dos tecidos
• Esta máquina pode ser considerada a
primeira máquina mecânica programável
![Page 16: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/16.jpg)
Joseph Marie Jackuard
![Page 17: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/17.jpg)
Charles Babbage• Em 1822, idealizou a Máquina das Diferenças,
que consistia num dispositivo mecânico baseado em rodas dentadas, para a avaliação de funções e a obtenção de tabelas
• Mas esta máquina não chegou a ser construída devido as limitações tecnológicas da época (limites do ferramental industrial)
![Page 18: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/18.jpg)
Charles Babbage
Ao operador cabia Ao operador cabia somente iniciar a somente iniciar a cadeia de cadeia de operações, e a operações, e a seguir a máquina seguir a máquina tomava seu curso tomava seu curso de cálculos, de cálculos, preparando preparando totalmente a totalmente a tabela prevista tabela prevista
![Page 19: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/19.jpg)
• Em 1833, projetou a Máquina Analítica ou Diferencial, dispunha de programa, memória, unidade de controle e aritmética e periféricos de entrada e saída
• Realizava automaticamente tabelas de logaritmos e funções trigonométricas
• Babbage o “ Pai da Informática ”
Charles Babbage
![Page 20: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/20.jpg)
Charles Babbage
![Page 21: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/21.jpg)
O Problema que o Mundo Queria Resolver
• Máquinas que resolviam problemas
específicos
• Décimo problema de Hilbert –
Entscheidungsproblem (1900 – 1928):
– Será possível se definir um procedimento
mecânico para resolver os problemas da
matemática um após o outro?
![Page 22: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/22.jpg)
Turing• Alan Mathison Turing nasceu em 23 de junho
de 1912 em Londres
• Na infância distraia-se fatorando números
• A maior parte do seu trabalho foi desenvolvido no serviço de espionagem, durante a II Grande Guerra
• Matemático extraordinário decifrador de códigos e cientista da computação
![Page 23: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/23.jpg)
Turing
• 1975 foi reconhecido como um dos grandes
pioneiros no campo da computação
• Em 1936 Alan M. Turing desenvolveu a
construção teórica das “Máquinas de Turing”
(1935 –36)
– Matemática abstrata e não um objeto
– Maquina capaz de resolver todo tipo de problema
matemático (?)
![Page 24: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/24.jpg)
Turing
• Questão1 : existe um procedimento mecânico
geral para resolver todos os problemas
matemáticos? Um após outro?
• Questão 2: existe limitação àquilo que um
algoritmo pode fazer a princípio?
![Page 25: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/25.jpg)
Turing
• Teoria Matemática da Computação define um
algoritmo como a representação formal e
sistemática de um processo, e através da qual
se demonstra que nem todos os processos são
representáveis
![Page 26: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/26.jpg)
Turing• De qualquer ângulo que se examine a
idealização de Turing sempre se verá uma semelhança muito grande com os computadores atuais
• 1º Passo: mostrou que poderia ser construída uma MT para cada problema com solução algorítmica– De somar 1 a um número a decifrar código
![Page 27: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/27.jpg)
Turing• Arquitetura: Uma fita infinita, uma cabeça de
leitura-gravação, uma máquina de estados que
pode se mover na fita à direita ou à esquerda
![Page 28: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/28.jpg)
Turing• Arquitetura: seqüência linear de marcas na fita (0´s e
1´s) representando números finitos lidas uma por vez
• Não se trata de codificação binária!
• A descrição do algoritmo deve ser finita e executável em tempo finito
• Função de Transição: diz “o que vazer”, ou seja, comanda as leituras e gravações, o sentido de movimento da cabeça e define o estado da máquina
![Page 29: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/29.jpg)
Turing
• Idéia de Turing: a partir do símbolo lido na
fita e da função de transição atual a máquina
decide o que fazer (determinística)
• Operações rotuladas: substituições explícitas
– Ex: 101 ->131E
![Page 30: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/30.jpg)
Turing• MT: definição matemática de uma operação
mecânica• Familiarizando-nos com MT simples o
entendimento das complexas será mais fácil• MT N+1:
– 00 00D– 01 11D– 10 01PARE– 11 11D
![Page 31: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/31.jpg)
Turing
• Exemplo: Na fita: ...00001110000... (o
número 3)
• Saída esperada: ...00001111000 ... (o número
4)
... Acompanhando o trabalho da MT ...
![Page 32: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/32.jpg)
Turing
• 2º Passo: Uma máquina de Turing Universal
– Crítica: Construir uma MT para cada problema?
Impraticável!
– MTU!
– Problema: Onde armazenar as informações de que
MTU precisa para simular qualquer MT?
– Alternativa: E se houvesse uma MT que lesse na
fita a entrada do problema E as instruções?
![Page 33: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/33.jpg)
Turing
• Modelo matemático dos computadores de
hoje:
– Propósito geral
• Como armazenar as instruções na fita?
– Os dados são armazenados com codificação
binária estendida (poderia ser binário simples)
![Page 34: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/34.jpg)
Turing
• Mostraremos os princípios, detalhes são muito complicados
• Idéia básica: codificar a lista de instruções de MT arbitrária num grupo de 0´s e 1´s para serem representados na fita
• Parte inicial da fita tem as instruções que atuarão sobre os dados que vêm em seguida
![Page 35: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/35.jpg)
Turing• Chegamos no famoso: Número de Turing!!!!!
– Código binário final transformado em decimal!!!!– Todo programa de computador (tira de bits) pode
ser mapeado em um e somente um número natural e vice-versa!!!!!!
– Geração automática de programas... Perderemos nossos empregos!!!!!!!!
– Vejamos:• MTn: Máquina de Turing que executa o algorítmo N
![Page 36: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/36.jpg)
int satisfaz(int N,M) {int R cria_programa(N) cria_dados(M) R = system(N(M)) if (R = previsto)
return TRUE else
return FALSE}
main() {int N=1while(!(satisfaz(N,M)))
N++}
Esquema Geral 1: Beco sem saída
Se a chamada N(M) entra em “laço infinito”, R jamais recebe um valor!
![Page 37: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/37.jpg)
int satisfaz(int N,M) {int R cria_programa(N) cria_dados(M) if pára(N,M) {
R = system(N(M)) if (R = previsto)
return TRUE else
return FALSE } else
return FALSE}
main() {int N=1while(!(satisfaz(N,M)))
N++}
Esquema Geral 2: Beco sem saída?
Este teste, se exeqüível, impede que nosso gerador de programas “trave”!
![Page 38: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/38.jpg)
Turing
• Supor que há Pára(N,M) retorna 1 se N(M)
pára e 0 caso contrário
• Multiplicar Pára(N,M) por N(M) dá N(M)
(1*resultado de N(M)) ou 0 (0*qualquer coisa)
• Imaginar Pára(N,N)*(N(N)) é possível? Sem
problemas. Dá N(N) ou 0
• Criar K(N) = Pára(N,N)*N(N) + 1
![Page 39: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/39.jpg)
Turing
• K(K) pára?– então K(k) = 1*K(K) + 1 = K(K) + 1. Absurdo.
– senão K(K) = 0*K(K) + 1 = 1. Absurdo (K(K) não tem valor!)
• Portanto não pode haver K(K). Não pode haver K(N). Não pode haver Pàra(N,N). Não pode haver Pàra(N,M).
• É impossível fazer o programa gerador de programas!
![Page 40: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/40.jpg)
Turing
• O décimo problema de Hilbert não tem
solução!
“Será possível se definir um procedimento
mecânico para resolver os problemas da
matemática um após o outro?”
• Não se pode garantir!
![Page 41: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/41.jpg)
Turing
• Todos os computadores modernos de uso geral são
efetivamente máquinas de Turing universais!
• Problema da parada: saber se uma MTn pára ou não
ao atuar sobre o número m
• Impossível decidir...
• Algoritmos que não param não são muito úteis...
![Page 42: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/42.jpg)
• Ficou também demonstrado a existência de problemas sem solução algorítmica e chegou-se a seguinte conclusão:
Um problema terá solução algorítmica se existir uma Máquina de Turing para representá-lo
• Desses estudos surgiu a Teoria da Computabilidade: Problemas Turing Computáveis e Não Turing Computáveis (MT e ~MT)
Turing
![Page 43: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/43.jpg)
Turing• Decidir se MT´s param: importante questão
matemática:
– Teorema de Fermat: análise de todos os quádruplos
naturais (x,y,z,w) possíveis
(x+1)w+3 + (y+1)w+3 = (z+1)w+3
– Conjectura de Goldbach: todo número maior que 2
é a soma de números primos
• Desdobrá-lo em números primos (saber se é primo)
![Page 44: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/44.jpg)
Turing
• A equação x2 – 2x = 0 possui quantas raízes?
– 2 e 4 são raízes óbvias!
– Há uma terceira?
• Não computabilidade da geração dos números
reais
– Corte Diagonal de Cantor
• Programa gerador de programas...
![Page 45: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/45.jpg)
John von Newmann
• Em 1944 desenvolveu a idéia de programa interno e fundamento teórico de um computador eletrônico denominado Modelo de Von Newmann
• Idéia: existência simultânea de dados e instruções e a possibilidade do computador ser programado
• Publicou o artigo "Teoria e Técnicas dos Computadores Eletrônicos", uma tentativa de projeto de um computador do ponto de vista lógico
![Page 46: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/46.jpg)
Processador e memória de 8 bits
![Page 47: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/47.jpg)
• Em 1952 esse computador foi construído,
recebeu o nome de EDVAC (Eletronic Discrete
Variable Automatic Computer) e era uma
modificação do ENIAC
• Utilizava tecnologia estranha
– “linhas de retardo acústico de mercúrio por onde
circulavam sinais elétricos sujeitos a retardo”
John von Newmann
![Page 48: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/48.jpg)
• Em 1951 Mauchly constrói o primeiro computador da série a ser posto à venda, o UNIVAC-I (computador automático universal), que já utilizava válvulas e fitas magnéticas
• No ano seguinte foram construídos os computadores MANIAC-I, MANIAC-II, UNICAC-II
• PDP-8 – levou os computadores para laboratórios e linhas de produção, em 1965
John von Newmann
![Page 49: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/49.jpg)
Com o surgimento destas máquinas acaba a pré-história da
informática ...
![Page 50: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/50.jpg)
... a partir daqui entramos na fase da EVOLUÇÃO ELETRÔNICA
![Page 51: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/51.jpg)
Conclusão
• As idéias de computabilidade não estavam formalizadas antes dos resultados de Alan Turing
• Von Newmann conseguiu tornar factível as idéias de Turing e Babbage
• As idéias de Babbage, Turing e Newmann são empregados nos computadores até hoje
• Supercomputadores usam estas mesmas idéias
![Page 52: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/52.jpg)
• Limite: futuro incerto da computação
quântica, desenvolvimento de máquinas não
determinísticas.
Conclusão
![Page 53: Recursos Computacionais Maquinas de Turing: Uma visão pragmática Álvaro Vinícius de Souza Coêlho alvaro_degas@yahoo.com.br](https://reader036.vdocuments.mx/reader036/viewer/2022062418/552fc12b497959413d8cf756/html5/thumbnails/53.jpg)
Turing.
FIM!
“A soma da inteligência no planeta é uma constante; a população está crescendo”
Lei de Murphy aplicada ao PensamentoEscher