Deutsch 的通用量子图灵机（重访）

Deutsch、Feynman 与 Manin 将量子计算视为一种通用的物理模拟过程。大量关于量子图灵机的文献展示了这些机器如何模拟有限数量 qubit 上的任意酉变换。这一有趣问题最著名的论述见于 Deutsch 的论文，其后由 Bernstein 与 Vazirani 给出。量子图灵机构成与确定性和概率图灵机密切相关的一类，人们或有望在此类中找到一台通用机。通用机是可编程性概念的基础。本文检视了该领域先驱实际上在多大程度上确立了通用性，并审视了理论计算机科学中的一个关键概念（通用性）。在 forthcoming 论文中，作者亦将考虑量子门模型中的通用性。