Persistent computations of Turing machines

被引：0
|
作者：
Hempel, Harald [1 ]
Kimmritz, Madlen [2 ]
机构：
[1] Univ Jena, Inst Informat, D-07743 Jena, Germany
[2] Univ Kiel, Math Seminar, D-24098 Kiel, Germany
来源：
IMPLEMENTATION AND APPLICATION OF AUTOMATA, PROCEEDINGS | 2008年 / 5148卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In this paper we formally define the notion of persistent Turing machines to model interactive computations. We compare the power of persistent computations with their classical counterparts.
引用
收藏
页码：171 / +
页数：2
相关论文
共 50 条
  • [31] Noisy turing machines
    Asarin, E
    Collins, P
    AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2005, 3580 : 1031 - 1042
  • [32] STRUCTURED TURING MACHINES
    PRATHER, RE
    INFORMATION AND CONTROL, 1977, 35 (02): : 159 - 171
  • [33] Involutory Turing Machines
    Nakano, Keisuke
    REVERSIBLE COMPUTATION (RC 2020), 2020, 12227 : 54 - 70
  • [34] Reactive Turing machines
    Baeten, Jos C. M.
    Luttik, Bas
    van Tilburg, Paul
    INFORMATION AND COMPUTATION, 2013, 231 : 143 - 166
  • [35] Wittgenstein and Turing machines
    Wagner, P
    REVUE DE METAPHYSIQUE ET DE MORALE, 2005, (02): : 181 - 196
  • [36] MACHINES AND THEIR COMPUTATIONS
    KWASOWIEC, W
    BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1970, 18 (07): : 403 - +
  • [37] ON-LINE TURING MACHINE COMPUTATIONS
    HENNIE, FC
    IEEE TRANSACTIONS ON ELECTRONIC COMPUTERS, 1966, EC15 (01): : 35 - +
  • [38] Symmetric Instruction Machines and Symmetric Turing Machines
    Burgin, Mark
    Schroeder, Marcin J.
    PHILOSOPHIES, 2025, 10 (01)
  • [39] Decision problems for Turing machines
    Finkel, Olivier
    Lecomte, Dominique
    INFORMATION PROCESSING LETTERS, 2009, 109 (23-24) : 1223 - 1226
  • [40] Small deterministic Turing machines
    Universitaet Hamburg, Hamburg, Germany
    Theor Comput Sci, 2 (241-255):
12345