On a class of quantum Turing machine halting deterministically

• 作 者: LIANG Min YANG Li
• 机 构: StateKeyLaboratoryofInformationSecurity
• 出 处: 中国科学：物理学、力学、天文学英文版
• 发表日期: 2013年5期
• 关键词: 图灵机 量子 状态转换图 QTM 子类 位置 磁头 quantum Turing machine quantum circuit halting schem
• 基金项目: supported by the National Natural Science Foundation of China (Grant No.61173157),the Strategy Pilot Project of Chinese Academy of Sciences (Grant No.project XDA06010702),IIE’s Cryptography Research P

We consider a subclass of quantum Turing machines (QTM), named stationary rotational quantum Turing machine (SR-QTM), which halts deterministically and has deterministic tape head position. A quantum state transition diagram (QSTD) is proposed to describe