Autômatos finitos: com uma introdução aos autômatos finitos quânticos.

• Autor(a) principal: COSTA, Elloá Barreto Guedes da.
• Data de Publicação: 2009
• Outros Autores: LULA JÚNIOR, Bernardo.
• Tipo de documento: Livro
• Idioma: por
• Título da fonte: Biblioteca Digital de Teses e Dissertações da UFCG
• Texto Completo: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/29592
• topic: Ciência da Computação.; Física.; Ciência da Computação; Física; Autômatos; Física quântica; Álgebra linear; Mecânica quântica; Teoria do autômatos finitos; Autômatos finitos probabilísticos; Autômatos finitos quânticos; Computer Science; Physical; Automatons; Quantum physics; Linear algebra; Quantum mechanics; Finite automata theory; Probabilistic finite automata; Quantum finite automata; Ciencia de la computación; Físico; Autómatas; Física cuántica; Mecánica cuántica; Teoría de los autómatas finitos; Autómatas finitos probabilísticos; Autómatas cuánticos finitos; l'informatique; Physique; Automates; La physique quantique; Algèbre linéaire; Mécanique quantique; Théorie des automates finis; Automates finis probabilistes; Automates finis quantiques

Este livro, concebido como um projeto de iniciacao cientffica na Universidade Federal de Campina Grande (UFCG) e desenvolvido no Instituto de Estudos em Computação e Informação Quânticas (IQuanta) objetiva oferecer aos alunos dos cursos de graduacao em Ciencia da Computacao um texto que introduz de forma clara e didática os conceitos de Computação Quântica a partir dos conhecimentos que os alunos já possuem, utilizando a analogia com os conceitos clássicos conhecidos como ferramenta pedagógica. Segundo Moore e Crutchfield, quando se busca entender computação num contexto quântico, pode ser útil trasladar tantos conceitos da teoria da computação clássica quantos forem possíveis para o caso quântico, a começar do nível mais baixo da hierarquia computacional (hierarquia de Chomsky), ou seja, dos autômatos finitos. Um problema adicional neste processo de entendimento e, porém, a necessidade de conhecimentos teóricos em Física, Matemática e Computação que não fazem parte do conteúdo normalmente explorado na graduação em Ciência da Computação. Assim, neste livro, é apresentado, em dois capítulos (Capítulo 1 e Capítulo 2), uma revisão dos conceitos de Matemática (Álgebra Linear e Vetorial Complexa) e de Física (Mecânica Quântica) básicos necessários para o entendimento do assunto. Em seguida, no Capítulo 3, é feita uma revisão dos modelos de autômatos finitos determinísticos e não-determinísticos. O Capítulo 4 é dedicado a uma introdução ao modelo de autômato probabilístico, que geralmente não faz parte do conteúdo ministrado sobre automates nos cursos de graduação em Ciência da Computação, mas sua compreensão é fundamental para o entendimento de autômatos finitos quânticos.