یک ماشین تورینگ کوانتومی (به انگلیسی: quantum Turing machine) (مخفف انگلیسی: QTM) که به آن ماشین تورینگ جهانی نیز می گویند یک ماشین انتزاعی است که برای مدل کردن تأثیرات یک کامپیوتر کوانتومی استفاده می شود.این ماشین یک مدل بسیار ساده را ارائه می کند که قدرت محاسبات کوانتومی را نشان می دهد. هر الگوریتم کوانتومی می تواند به صورت رسمی توسط یک ماشین تورینگ کوانتومیبیان شود. این نوع ماشین تورینگ نخستین بار توسط دانشمند فیزیکدان دانشگاه اکسفورد David Deutsch در سال ۱۹۸۵ ارائه شد. وی پیشنهاد کرد که گیت های کوانتومی می توانند همانند گیت های منطقی دودویی کلاسیک عمل کنند.معمولا ماشین های تورینگ کوانتومی برای آنالیز کردن محاسبات کوانتومی مورد استفاده قرار نمی گیرند و معمولاً از مدل مدارات کوانتومی که مدل های رایج تری هستند استفاده می شود و این مدل ها با یکدیگر معادل هستند.ماشین های تورینگ کوانتومی می توانند توسط ماتریس های انتقال با ماشین تورینگ های احتمالی کلاسیک معادل شوند.
Iriyama، Ohya و Volovich مدل دیگری از ماشین تورینگ کوانتومی را تحت عنوان ماشین تورینگ کوانتومی خطی (LQTM) ارائه دادند. این نوع ماشین تورینگ حالتی کلی از ماشین های تورینگ کوانتومی کلاسیک هستند که توابع انتقال غیرقابل برگشت را مدل می کنند.این مسئله باعث می شود که بتوان اندازه گیری های کوانتومی را بدون نتیجه خروجی کلاسیک بیان کرد.
Iriyama، Ohya و Volovich مدل دیگری از ماشین تورینگ کوانتومی را تحت عنوان ماشین تورینگ کوانتومی خطی (LQTM) ارائه دادند. این نوع ماشین تورینگ حالتی کلی از ماشین های تورینگ کوانتومی کلاسیک هستند که توابع انتقال غیرقابل برگشت را مدل می کنند.این مسئله باعث می شود که بتوان اندازه گیری های کوانتومی را بدون نتیجه خروجی کلاسیک بیان کرد.
wiki: ماشین تورینگ کوانتومی