基于测量的量子图灵机及其普适性问题

量子测量对量子计算是普适的。这种普适性允许对传统量子计算的三步组织方式（初态制备、幺正变换、测量）的替代方案。为了形式化这些其他计算形式，同时指出经典控制在基于测量的计算中的作用与必要性，并为确立量子普适性所需最小资源的新上界，本文通过基于测量的量子图灵机引入了一个形式化模型。