Local transition functions of quantum Turing machines

被引:16
|
作者
Ozawa, M [1 ]
Nishimura, H
机构
[1] Nagoya Univ, Grad Sch Human Informat, Sch Informat & Sci, Chikusa Ku, Nagoya, Aichi 4648601, Japan
[2] Japan Sci & Technol, CREST, Tsukuba, Ibaraki, Japan
关键词
quantum Turing machines; transition functions; multi-tape quantum Turing machines;
D O I
10.1051/ita:2000123
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Foundations of the notion of quantum Turing machines are investigated. According to Deutsch's formulation, the time evolution of a quantum Turing machine is to be determined by the local transition function. In this paper, the local transition functions are characterized for fully general quantum Turing machines, including multi-tape quantum Turing machines, extending the results due to Bernstein and Vazirani.
引用
收藏
页码:379 / 402
页数:24
相关论文
共 50 条
  • [21] REAL FUNCTIONS AND NUMBERS DEFINED BY TURING-MACHINES
    FREUND, R
    THEORETICAL COMPUTER SCIENCE, 1983, 23 (03) : 287 - 304
  • [22] Even turing machines can compute uncomputable functions
    Copeland, BJ
    UNCONVENTIONAL MODELS OF COMPUTATION, 1998, : 150 - 164
  • [23] Simple circuit simulations of classical and quantum Turing machines
    Gurevich, Yuri
    Blass, Andreas
    PROCEEDINGS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 2022, 478 (2265):
  • [24] Computational complexity of uniform quantum circuit families and quantum Turing machines
    Nishimura, H
    Ozawa, M
    THEORETICAL COMPUTER SCIENCE, 2002, 276 (1-2) : 147 - 181
  • [25] Quantum Kolmogorov complexity and quantum correlations in deterministic-control quantum Turing machines
    Lemus, Mariano
    Faleiro, Ricardo
    Mateus, Paulo
    Paunkovic, Nikola
    Souto, Andre
    QUANTUM, 2024, 8
  • [26] Universality for Turing Machines, Inductive Turing Machines and Evolutionary Algorithms
    Burgin, Mark
    Eberbach, Eugene
    FUNDAMENTA INFORMATICAE, 2009, 91 (01) : 53 - 77
  • [27] Strongly universal quantum Turing machines and invariance of Kolmogorov complexity
    Mueller, Markus
    IEEE TRANSACTIONS ON INFORMATION THEORY, 2008, 54 (02) : 763 - 780
  • [28] QUANTUM-MECHANICAL HAMILTONIAN MODELS OF TURING-MACHINES
    BENIOFF, P
    JOURNAL OF STATISTICAL PHYSICS, 1982, 29 (03) : 515 - 546
  • [29] Computing power of Turing machines in the framework of unsharp quantum logic
    Shang, Yun
    Lu, Xian
    Lu, Raqian
    THEORETICAL COMPUTER SCIENCE, 2015, 598 : 2 - 14
  • [30] Alan Turing, Turing Machines and Stronger
    Gams, Matjaz
    INFORMATICA-JOURNAL OF COMPUTING AND INFORMATICS, 2013, 37 (01): : 9 - 14