Máquina De Turing

Apresentação do Trabalho Interdisciplinar (Introdução à Lógica e Programação, Arquitetura de Computadores e Introdução à Computação), 1º Semestre (2012.2) do Curso de Análise e Desenvolvimento de Sistemas, IFBA, Salvador

Transcript

1. Interdisciplinar – 1º SEMESTRE - ADS – 2012.2 Interdisciplinar – 1º SEMESTRE - ADS – 2012.2 MÁQUINA DE TURING Bruno Araujo – Carla Franco– Ícaro Jerry – Marcondes Teixeira - Rodrigo Brito
2. Interdisciplinar – 1º SEMESTRE - ADS – 2012.2 “Nós só podemos ver um pouco do futuro, mas o suficiente para perceber que há muito a fazer.”
3. Interdisciplinar – 1º SEMESTRE - ADS – 2012.2 • Objetivos • Alan Turing • A Máquina de Turing • Componentes da Máquina de Turing • Importância para a Computação • Apresentação do Programa • Referências
4. Interdisciplinar – 1º SEMESTRE - ADS – 2012.2 • Apresentar um grande nome que revolucionou a Computação no mundo e relatar um pouco da sua história, apresentar alguns de seus maiores feitos e a sua importância para computação moderna. OBJETIVO GERAL
5. Interdisciplinar – 1º SEMESTRE - ADS – 2012.2 • Apresentar em linguagem de programação C, como pode ser representada a famosa Máquina de Turing • Demonstrar todo o processo de funcionamento e estrutura lógica • Apresentar brevemente a história desta invenção que contribuiu de forma significativa para grandes avanços tecnológicos. OBJETIVO ESPECÍFICO
6. Interdisciplinar – 1º SEMESTRE - ADS – 2012.2 • Nasceu em 23/06/1912 em Londres • Parte de seu trabalho foi desenvolvido para as forças armadas durante a Segunda Guerra Mundial • Publicou o artigo “On computable numbers, with an application to the Entscheidungsproblem”, onde continha a descrição da sua máquina • Formalizou o conceito de algoritmo ALAN TURING O PAI DA INFORMÁTICA
7. Interdisciplinar – 1º SEMESTRE - ADS – 2012.2 • Em 1950 publicou o artigo ”Computing machinery and intelligence”. • Morreu em 1954 aos 42 anos. • Suas contribuições ficaram conhecidas somente após a sua biografia. • Em 2009, um protesto resultou no pedido oficial de perdão do primeiro-ministro da Grã-Bretanha pelo tratamento a que foi submetido. ALAN TURING O PAI DA INFORMÁTICA
8. Interdisciplinar – 1º SEMESTRE - ADS – 2012.2 A MÁQUINA DE TURING A máquina de Turing é constituída por uma memória ilimitada e irrestrita, com uma unidade de controle e um dispositivo especial que funciona simultaneamente como entrada, armazenamento e saída
9. Interdisciplinar – 1º SEMESTRE - ADS – 2012.2
10. Interdisciplinar – 1º SEMESTRE - ADS – 2012.2 ... COMPONENTES DA MÁQUINA
11. Interdisciplinar – 1º SEMESTRE - ADS – 2012.2 IMPORTÂNCIA PARA A COMPUTAÇÃO • Máquina de Turing (Determinística) o Computável e Não-Computável • Variantes: o Máquina de Turing Não-Determinística o Máquina de Turing com Múltiplas fitas
12. Interdisciplinar – 1º SEMESTRE - ADS – 2012.2 Máquina Determinística Máquina Não - Determinística Máquina de Turing com múltiplas fitas IMPORTÂNCIA PARA A COMPUTAÇÃO
13. Interdisciplinar – 1º SEMESTRE - ADS – 2012.2 APRESENTAÇÃO DO PROGRAMA Código fonte: github.com/IcaroJerry/turing-machine
14. Interdisciplinar – 1º SEMESTRE - ADS – 2012.2 INTERDISCIPLINAR 1º SEMESTRE Equipe: • Bruno Araujo • Carla Franco • Ícaro Jerry • Marcondes Teixeira • Rodrigo Brito
15. Interdisciplinar – 1º SEMESTRE - ADS – 2012.2 REFERÊNCIAS [1] AXT, Barbara. Conheça a vida de Alan Turing, matemático considerado o "pai da computação". Guia do Estudante, 2012. Disponivel em: <http://guiadoestudante.abril.com.br/aventuras-historia/conheca-vida-alan-turing-matematico-considerado-p ai-computacao-688593.shtml>. Acesso em: 08 Jan 2013. [2] ARAUJO FILHO, Clerton Ribeiro de; OLIVEIRA, Michelly Guedes de. Biografia de Alan Turing, 2008. Disponível em:< http://www.dsc.ufcg.edu.br/~pet/ciclo_ seminarios/nao_tecn icos/2008/ alan_turing>. Acesso em: 08 Jan 2013. [3] Alan Turing. E-biografias, 2012. Disponivel em: <http://www.e-biografias.net/alan_turing/>. Acesso em: 13 Jan 2012. [4] Alan Turing. Islaternura. Disponivel em: < http://www.islaternura.com/APLAYA /NoEresElUnico/T/TU/TuringAlanUNICO.htm>. Acesso em: 12 Jan 2013. [5] Animação da Máquina de Turing. Disponível em: <http://www.youtube.com/watch?v=HKFqsIMEoMc>. Acesso em: 12 jan. 2013 [6] Alan Turing: mundo comemora centenário do pai da computação.Terra, 2012. Disponivel em: <http://noticias.terra.com.br/ciencia/alan-turing-mundo-comemora-centenario-do-pai-da-computacao,c11ae1 94c2bda310VgnCLD200000bbcceb 0aRCRD.html>. Acesso em: 02 Jan 2013. [7] GRILO, Gabriel. Ciência & Tecnologia: Centenário de Alan Turing é destaque em palestra na USP.k2012. Disponível em: <http://www.usp.br/aun/antigo/www/_reeng/materia.php?cod_materia=1209258>. Acesso em: 10 Jan 2013.
16. Interdisciplinar – 1º SEMESTRE - ADS – 2012.2 [8] MARCOLIN, Neldson. O homem que computava. Revista Pesquisa, 2012. Disponivel em: <http://revistapesquisa.fapesp.br/2012/07/16/o-homem-que-computava/>. Acesso em: 10 Jan 2013. [9] SIPSER, MICHAEL. Introdução à Teoria da Computação.2.ed Norte-Americana: Thomson, 2007. [10] POZZA, Osvaldo. A máquina de Turing. UFSC, 2012. Disponivel em: <http://www.inf.ufsc.br/~barreto/trabaluno/MaqT01>. Acesso em: 03 Jan 2013. [11] RAMOS, Elias; AZAMBUJA, Rogério. A Máquina De Turing. UFRGS,2011. Disponivel em:< http://www.ufrgs.br/alanturingbrasil2012/Máquina_de_Turing>. Acesso em: 12 Jan 2013. [12] KOWALTOWSKI, Tomasz. Von Neumann: suas contribuições à Computação. Scielo. Disponivel em:< http://www.scielo.br/scielo.php?script=sci_art text&pid=S0 103-40141996000100022>. Acesso em: 14 Jan 2013. [13] BURKS, Arthur. Preliminary discussion of the logical design of an electronic computing instrument. Disponivel em:< http://www.cs.princeton.edu/courses/ archive/fall09/cos375/Burks>. Acesso em: 12 Jan 2013. [14] COOPER, Necia. From Turing and von Neumannto the Present.FAS, 1983. Disponivel em:< http://www.fas.org/sgp/othergov/doe/lanl/pubs/00285911>. Acesso em: 13 Jan 2013. REFERÊNCIAS
17. Interdisciplinar – 1º SEMESTRE - ADS – 2012.2 [15] MOYER, Michael. Tecnologia: Será que os computadores saberão de tudo?. Scientific American Brasil. Disponivel em:< http://www2.uol.com.br/sciam/noti cias/tecnologia.html>. Acesso em: 10 Jan 2013. [16] CASTRO, Maria Clicia Stelling de. O Conjunto de Instruções do Processador. Disponivel em: <http://www3.ime.uerj.br/professores/ Mariaclicia/Oc 1/Cap4_instr ucoes>. Acesso em 10 de Fev 2013. [17] DIVERIO, Tiaraju Asmuz; MENEZES, Paulo Blauth. TEORIA DA COMPUTAÇÃO: Máquinas Universais e Computabilidade.3. ed São Paulo: Artmed, 2011. [18] FERNANDES, Jorge. Uma Arquitetura Concreta para a Máquina de von Neumann. UNB, 2005. Disponivel em:<http://www.cic.unb.br/~jhcf/MyBooks/ic/2.OrigensFundamentos/MáquinaVonNeumann/ArquiteturaComp utadores/UmaArquitetura ConcretaparaaMáquinadevonNeumann>. Acesso em: 03 de Fev de 2013. [19] FERNANDES, Silvio. Arquitetura e Organização de Computadores. UFERSA. Disponivel em:<http://www2.ufersa.edu.br/portal/view/uploads /setores/145 /arquivos/arq/aulas/02-%20Interconexao>. Acesso em: 03 de Fev de 2013. [20] GADELHA, Julia. A evolução dos computadores. UFF. Disponivel em:<http://www.ic.uff.br/~aconci/evolucao.html>. Acesso em: 21 de Fev de 2013. REFERÊNCIAS
18. Interdisciplinar – 1º SEMESTRE - ADS – 2012.2 [21] KOWALTOWSKI, TOMASZ. John von Neumann: Suas Contribuições à Computação. Unicamp, 1996. Disponivel em: <http://www.ic.unicamp.br/~tomas z/projects/vonneumann/artigo.html>. Acesso em 03 de Fev de 2013. [23] LOPES, Mayara. Evolução dos computadores. Info Escola, 2011. Disponivel em: <http://www.infoescola.com/informatica/evolucao-dos-computadores>. Acesso em: 16 de Fev de 2013. [24] TANENBAUM, Andrew S. Organização Estruturada de Computadores.5.ed São Paulo: Pearson Education, 2007. [25] http://itcs.tsinghua.edu.cn/~john/turing_machines.pdf [26] www.de9.ime.eb.br/.../tese%20de%20Church.doc [27] KOWALTOWSKI, Tomasz. Von Neumann: suas contribuições à Computação. Scielo. Disponivel em:< http://www.scielo.br/scielo.php?script=sci_arttext& pid=S0103-40141 996000100022>. Acesso em: 14 Jan 2013. [28] PRADO, Simone Domingues. Teoria da Computação e Linguagens Formais. UNESP. Disponivel em:< http://wwwp.fc.unesp.br/~simonedp/zipados/TC04.pdf>. Acesso em: 28 Fev 2013. REFERÊNCIAS
19. Interdisciplinar – 1º SEMESTRE - ADS – 2012.2 [29] LEHRER, Cristiano. Linguagens Formais e Autômatos. Ybadoo. Disponivel em:< http://www.ybadoo.com.br/ead/lfa/04/LFA_slides.pdf>. Acesso em: 02 Mar 2013. [30] HOPCROFT, Jonh;ULLMAN, Jeffrey; MOTWANI, Rajeev. Introdução À Teoria Dos Autômatos, Linguagens E Computação.1.ed São Paulo: Campus, 2002. [31] LONGO, Humberto. Teoria da Computação: Variações da Máquina de Turing. UFG, 2007. Disponivel em:< http://www.ceunes.ufes.br/downloads/2/rigo-tc16.pdf>. Acesso em: 01 Mar 2013. [32] RANGEL, Jose Lucas. Linguagens Formais: Máquina de Turing. PUC. Disponivel em:< http://www.inf.puc-rio.br/~inf1302/Apostila/lf7.pdf>. Acesso em: 01 Mar 2013. [33] CAVALHEIRO, Gerson. Programação Paralela e Distribuida. UNISINOS, 2006. Disponivemm em:< http://gersonc.anahy.org/ppdrep/04-ProgramacaoConcorrente-PPD.pdf>. Acesso em: 04 Mar 2013. [32] FREITAS, Ricardo Luis de. Sistemas Operacionais.UFES. Disponivel em:< http://www.inf.ufes.br/~zegonc/material/Sistemas%20Operacionais/Outros%20slides/Apostila%20C/Apostila%20S O.pdf>. Acesso em: 04 Mar 2013. REFERÊNCIAS
20. Interdisciplinar – 1º SEMESTRE - ADS – 2012.2 [33] CAVALHEIRO, Gerson. Programação Paralela e Distribuida. UNISINOS, 2006. Disponivemm em:< http://gersonc.anahy.org/ppdrep/04-ProgramacaoConcorrente-PPD.pdf>. Acesso em: 04 Mar 2013. [32] FREITAS, Ricardo Luis de. Sistemas Operacionais.UFES. Disponivel em:< http://www.inf.ufes.br/~zegonc/material/Sistemas%20Operacionais/Outros%20slides/Apostila%20C/Apostila%20S O.pdf>. Acesso em: 04 Mar 2013. [33] OLIVEIRA, Humberto César Brandão de. Linguagens Formais e Autômatos. UNIFAL. Disponivelem:<http://www.bcc.unifal-mg.edu.br/~humberto/disciplinas /2011_1_lfa/aulas/aula_15_MáquinasDeTuring_parte2.pdf>.Acesso em: 04 Mar 2013. [34] VIZZOTTO, Juliana Kaizer. Máquinas de Turing: Variantes e a Definição de Algoritmo. UFSM. Disponivel em:< http://www-usr.inf.ufsm.br/~juvizzotto/elc1008-2011a/variantes-MT.pdf>. Acesso em: 03 Mar 2013. [35] ECK, David. xTuringMachine Lab: Introduction to Turing Machines. Labs for The Most Complex Machine, 1997. Disponivel em:< http://math.hws.edu/TMCM/java/labs /xTuringMachineLab.html#binary>. Acesso em: 02 Mar 2013. [36] SUBER, Peter. Turing Machines I. 2002. Disponivel em:< http://legacy.earlham. edu/~peters/courses/logsys/turing.htm>. Acesso em: 03 Mar 2013. REFERÊNCIAS