非決定性チューリングマシン
量子コンピュータが NTM であるということをよく言われるが、これは間違っている。多項式時間の量子コンピュータの能力は多項式時間の NTM よりも低いと考えられている。つまり、これらのモデルについて、一方で解けるが、もう一方では解けないという問題が存在する。NTM で解けて量子コンピュータで解けないと予想される問題の例としてNP完全問題がある。