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
来源：
RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS | 2000年 / 34卷 / 05期
关键词：
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 条
  • [41] UNITARY DILATION MODELS OF TURING-MACHINES IN QUANTUM-MECHANICS
    BENIOFF, P
    PHYSICAL REVIEW A, 1995, 51 (05): : 3513 - 3524
  • [42] Turing machines and bimachines
    Rhodes, John
    Silva, Pedro V.
    THEORETICAL COMPUTER SCIENCE, 2008, 400 (1-3) : 182 - 224
  • [43] Accelerating Turing machines
    Copeland, BJ
    MINDS AND MACHINES, 2002, 12 (02) : 281 - 301
  • [44] Ecological turing machines
    Durand, B
    Muchnik, A
    Ushakov, M
    Vereshchagin, N
    AUTOMATA , LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2004, 3142 : 457 - 468
  • [45] Minds, Machines and Turing
    S. Harnad
    Journal of Logic, Language and Information, 2000, 9 (4) : 425 - 445
  • [46] RECURSIVE TURING MACHINES
    SAVITCH, WJ
    INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1977, 6 (01) : 3 - 31
  • [47] Concurrent turing machines
    Farwer, Berndt
    Kudlek, Manfred
    Roelke, Heiko
    FUNDAMENTA INFORMATICAE, 2007, 79 (3-4) : 303 - 317
  • [48] Turing Machines with Atoms
    Bojanczyk, Mikolaj
    Klin, Bartek
    Lasota, Slawomir
    Torunczyk, Szymon
    2013 28TH ANNUAL IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2013, : 183 - 192
  • [49] Zigzags in Turing Machines
    Gajardo, Anahi
    Guillon, Pierre
    COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2010, 6072 : 109 - +
  • [50] Structured Turing Machines
    L. P. Lisovik
    Cybernetics and Systems Analysis, 2004, 40 (2) : 162 - 168
12345