Impacto
Downloads
Downloads per month over past year
Gallego Gutiérrez, Javier (2021) Computación cuántica: autómatas finitos con inputs y outputs. [Trabajo Fin de Grado]
![[thumbnail of GALLEGO_GUTIERREZ_Computacion_Cuantica._Automatas_finitos_con_inputs_y_outputs_524584_954801094.pdf]](/style/images/fileicons/application_pdf.png) |
PDF
Creative Commons Attribution Non-commercial. 570kB |
Abstract
Este trabajo sirve como introducción a la computación cuántica mediante autómatas finitos. Además, presenta un nuevo marco para trabajar con un modelo de autómatas finitos cuánticos que distinga entre inputs y outputs. Se considera como inputs los símbolos de un alfabeto, que determinan transformaciones unitarias, y como outputs las mediciones realizadas tras leer una cadena. También se presenta una relación de implementación para estos autómatas. A continuación, se da otra definición alternativa más apropiada para un marco de testing de caja negra. Finalmente, se ha desarrollado un simulador de autómatas finitos cuánticos que permite simular el comportamiento de autómatas a partir de una configuración establecida por el usuario. También permite comparar autómatas de acuerdo a la relación previamente mencionada.
Resumen (otros idiomas)
This Thesis provides an introduction to Quantum Computing via quantum automata. Additionally, it proposes a novel framework to define quantum finite automata that distinguish between inputs and outputs. Inputs will be symbols of an alphabet, inducing unitary transformations, while outputs will be measurements applied after processing a sequence of inputs. The Thesis gives an implementation relation for these automata. After that, it presents an alternative implementation relation more appropriate for black-box testing. Finally, a quantum finite automata simulator has been developed. This simulator allows users to provide an automata and simulate its behavior. It also allows users to compare two automata according to the previously mentioned relation.
| Item Type: | Trabajo Fin de Grado |
|---|---|
| Additional Information: | Trabajo de Fin de Grado en Doble Grado en Matemáticas e Ingeniería Informática, Facultad de Informática UCM, Departamento de Sistemas Informáticos y Computación, Curso 2020/2021 |
| Directors: | Directors Núñez García, Manuel |
| Uncontrolled Keywords: | Computación cuántica, Autómatas finitos cuánticos, Testing basado en modelos, Conformidad, Simulador |
| Palabras clave (otros idiomas): | Quantum Computing, Quantum finite automata, Model based testing, Conformance, Simulator |
| Subjects: | Sciences > Computer science |
| Título de Grado: | Doble Grado en Matemáticas e Ingeniería Informática |
| ID Code: | 64736 |
| Deposited On: | 17 May 2021 13:40 |
| Last Modified: | 17 May 2021 13:40 |
Origin of downloads
Repository Staff Only: item control page
