autómatas redundantes Quantum