Texto completo de la Tesis    

Resumen

La computación cuántica es un nuevo paradigma de cómputo. Esta nueva área es interesante debido a la propiedad de paralelismo implícito, concepto que se desprende de los orígenes de la mecánica cuántica. Esta propiedad permite codificar una cantidad exponencial de información mediante un sistema cuántico de varios qubits. En la actualidad los simuladores cuánticos constituyen una forma de hacer investigación en esta área, y los hay tanto físicos como formales (software). Además, existe gran interés en probar y diseñar nuevos algoritmos cuánticos que reduzcan la complejidad del problema que resuelven en una complejidad polinomial.
Presentamos GAMA el cual es un nuevo lenguaje de programación para llevar a cabo la simulación de algoritmos cuánticos. Este lenguaje es de tipo imperativo, estructurado y de propósito específico. GAMA cuenta con un módulo de depuración que permite llevar la secuencia de los diferentes cambios de los estados de las variables en las diferentes fases del algoritmo.
Este ambiente de simulación cuántica está enfocado principalmente al aprendizaje y de esta manera contribuye al área de computación cuántica. Como parte de la efectividad del simulador, probamos el algoritmo de Deutsch-Jozsa.