An idealised perfect quantum computer, reliable and programmable to perform any quantum algorithm. Several conceptual models have been shown to be equivalent in principle: the circuit model (gate model), topological model, and adiabatic quantum computer.