Resumen

El computo cuántico es un importante paradigma, donde las implementaciones prácticas son un problema complicado y hoy día tiene muchas limitantes en la investigación. Sin embargo, sus algoritmos formales han mostrado avances en eficiencia respecto a su complejidad, y muchos problemas difíciles para el Computo Clásico han sido formalmente resueltos de manera eficiente mediante el uso de algoritmos cuánticos. Se requiere de plataformas computacionales para probar algoritmos cuánticos. En esta tesis se desarrollo un intérprete capaz de transformar pseudocódigos de alto nivel de algoritmos cuánticos mediante el uso de un lenguaje formal el cual está constituido de una serie de composiciones de terminos básicos, i.e. operadores y listas de operandos. Los programas transformados pueden ser ejecutados en una simple computadora de escritorio o en plataformas paralelas las cuales pueden ser un cluster con lenguaje de programación MPI o un rack de multiprocesadores.

Quantum Computing is an important paradigm, whose practical implementation is a matter of intense research and up-today is quite limitative. However, its formal algorithms have shown impressive gains in complexity efficiency, and several hard problems for Classical Computing have been formally solved very efficiently using quantum algorithms. Hence, computing platforms to test quantum algorithms are required. Here we develop an interpreter able to transform high level pseudocodes for quamtum algorithms into a formal language consisting of compositions of basic terms, i.e. operators and operands lists. The transformed programs may be run either in a single computer or in a parallel platform which in turn may be a MPI cluster or a multiprocessor rack.