DEFINABILITY BY TURING MACHINES

被引：0
|
作者：
BAER, RM
机构：
来源：
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1969年 / 15卷 / 04期
关键词：
D O I：
10.1002/malq.19690152002
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：325 / &
相关论文
共 50 条
  • [31] Decision problems for Turing machines
    Finkel, Olivier
    Lecomte, Dominique
    [J]. INFORMATION PROCESSING LETTERS, 2009, 109 (23-24) : 1223 - 1226
  • [32] REMARKS ON UNIVERSAL TURING MACHINES
    HERMAN, GT
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1970, 35 (04) : 605 - &
  • [33] Small deterministic Turing machines
    Universitaet Hamburg, Hamburg, Germany
    [J]. Theor Comput Sci, 2 (241-255):
  • [34] Beyond Turing's Machines
    Hodges, Andrew
    [J]. SCIENCE, 2012, 336 (6078) : 163 - 164
  • [35] TURING-MACHINES AND THE ENTSCHEIDUNGSPROBLEM
    BUCHI, JR
    [J]. MATHEMATISCHE ANNALEN, 1962, 148 (03) : 201 - 213
  • [36] STATE COMPLEXITY OF TURING MACHINES
    SCHMITT, AA
    [J]. INFORMATION AND CONTROL, 1970, 17 (03): : 217 - &
  • [37] Infinite Time Turing Machines
    Joel David Hamkins
    [J]. Minds and Machines, 2002, 12 : 521 - 539
  • [38] Composing Turing Machines in FSM
    Morazan, Marco T.
    [J]. PROCEEDINGS OF THE 2023 ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON SPLASH-E, SPLASH-E 2023, 2023, : 38 - 49
  • [39] Probabilistic rebound turing machines
    Zhang, L
    Inoue, K
    Ito, A
    Wang, Y
    [J]. THEORETICAL COMPUTER SCIENCE, 2002, 270 (1-2) : 739 - 760
  • [40] On the simulation of quantum turing machines
    Carpentieri, M
    [J]. THEORETICAL COMPUTER SCIENCE, 2003, 304 (1-3) : 103 - 128
12345