HALTING SPACE-BOUNDED COMPUTATIONS

被引：79
|
作者：
SIPSER, M [1 ]
机构：
[1] UNIV CALIF BERKELEY,DIV COMP SCI,BERKELEY,CA 94720
来源：
THEORETICAL COMPUTER SCIENCE | 1980年 / 10卷 / 03期
关键词：
D O I：
10.1016/0304-3975(80)90053-5
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：335 / 338
页数：4
相关论文
共 50 条
  • [1] On the derandomization of space-bounded computations
    Armoni, R
    [J]. RANDOMIZATION AND APPROXIMATION TECHNIQUES IN COMPUTER SCIENCE, 1998, 1518 : 47 - 59
  • [2] SPACE-BOUNDED HIERARCHIES AND PROBABILISTIC COMPUTATIONS
    RUZZO, WL
    SIMON, J
    TOMPA, M
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1984, 28 (02) : 216 - 230
  • [3] REVERSIBLE SIMULATION OF SPACE-BOUNDED COMPUTATIONS
    CRESCENZI, P
    PAPADIMITRIOU, CH
    [J]. THEORETICAL COMPUTER SCIENCE, 1995, 143 (01) : 159 - 165
  • [4] On the complexity of simulating space-bounded quantum computations
    Watrous, J
    [J]. COMPUTATIONAL COMPLEXITY, 2003, 12 (1-2) : 48 - 84
  • [5] On the complexity of simulating space-bounded quantum computations
    John Watrous
    [J]. computational complexity, 2003, 12 : 48 - 84
  • [6] Matchgate and space-bounded quantum computations are equivalent
    Jozsa, Richard
    Kraus, Barbara
    Miyake, Akimasa
    Watrous, John
    [J]. PROCEEDINGS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 2010, 466 (2115): : 809 - 830
  • [7] Infinite vs. Finite Space-Bounded Randomized Computations
    Kralovic, Richard
    [J]. PROCEEDINGS OF THE 24TH ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY, 2009, : 316 - 325
  • [8] Reversibility in space-bounded computation
    Morita, Kenichi
    [J]. INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2014, 43 (07) : 697 - 712
  • [9] SYMMETRIC SPACE-BOUNDED COMPUTATION
    LEWIS, HR
    PAPADIMITRIOU, CH
    [J]. THEORETICAL COMPUTER SCIENCE, 1982, 19 (02) : 161 - 187
  • [10] Space-bounded quantum complexity
    Watrous, J
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1999, 59 (02) : 281 - 326
12345