Teoria quântica da computação

Abstract

This undergraduate thesis aims formally define aspects of Quantum Turing Machine using as a basis quantum finite automata. We introduce the basic concepts of quantum mechanics and quantum computing through principles such as superposition, entanglement of quantum states, quantum bits and algorithms. We demonstrate the Bell's teleportation theorem, enunciated in the form of Deutsch-Jozsa definition for quantum algorithms. The way as the overall text were written omits formal aspects of quantum mechanics, encouraging computer scientists to understand the framework of quantum computation. We conclude our thesis by listing the Quantum Turing Machine's main limitations regarding the well-known Classical Turing Machines

Esta tese de graduação tem como objetivo principal definir formalmente aspectos de uma Máquina de Turing Quântica utilizando como base autômatos finitos quânticos. Introduziremos os conceitos básicos de mecânica quântica e computação quântica através de princípios como superposição, emaranhamento de estados quânticos, bits quânticos e algoritmos. Demonstraremos o teorema do teletransporte de Bell, enunciado na forma da definição de Deutsch-Jozsa para algoritmos quânticos. A maneira global como o texto foi escrito omite aspectos formais de mecânica quântica, encorajando os cientistas da computação a entender o cenário da computação quântica. Concluiremos nossa tese listando as principais limitações de uma Máquina de Turing Quântica frente à bem conhecida Máquina de Turing Clássica