TY  - THES
AU  - Gallego Gutiérrez, Javier
A3  - Núñez García, Manuel
PY  - 2021
UR  - https://hdl.handle.net/20.500.14352/10358
AB  - 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...
AB  - 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...
LA  - spa
KW  - Computación cuántica
KW  - Autómatas finitos cuánticos
KW  - Testing basado en modelos
KW  - Conformidad
KW  - Simulador
KW  - Quantum Computing
KW  - Quantum finite automata
KW  - Model based testing
KW  - Conformance
KW  - Simulator
TI  - Computación cuántica: autómatas finitos con inputs y outputs
T2  - Quantum computing: finite automata with inputsand outputs
M3  - bachelor thesis
ER  -