Describir: Estructuras algebraicas y demostraciones de universalidad en el cómputo cuántico