量子机器人与量子计算机

对诸如量子力学这类 presumed 普适理论的验证，需要对执行理论计算与实验的系统给出量子力学描述。量子计算机的描述正处于积极发展中。迄今尚未给出执行实验的系统的描述。本文朝此方向迈出一小步，给出了量子机器人的描述：即搭载量子计算机、与环境相互作用的可移动系统。讨论了这些系统的一些性质。基于文献中量子图灵机的描述，提出了一个具体模型。