A mathematical concept which has the same relation to a quantum computer as a Turing machine does to a traditional computer. This means that a quantum Turing machine is concerned with the problem of whether systematic algorithms exist for problems in quantum computation.