Simulating Turing machines on Maurer machines

被引:0
|
作者
Programming Research Group, University of Amsterdam, P.O. Box 41882, 1009 DB Amsterdam, Netherlands [1 ]
不详 [2 ]
机构
来源
J. Appl. Logic | 2008年 / 1卷 / 1-23期
关键词
25;
D O I
10.1016/j.jal.2007.04.001
中图分类号
学科分类号
摘要
引用
收藏
相关论文
共 50 条
  • [1] On simulating Turing machines with inhibitor Petri nets
    Zaitsev, D. A.
    Li, Z. W.
    IEEJ TRANSACTIONS ON ELECTRICAL AND ELECTRONIC ENGINEERING, 2018, 13 (01) : 147 - 156
  • [2] Simulating Turing machines by P systems with external output
    Romero-Jiménez, K
    Pérez-Jiménez, MJ
    FUNDAMENTA INFORMATICAE, 2002, 49 (1-3) : 273 - 287
  • [3] On simulating Turing machines with matrix semigroups with integrality tests
    Halava, Vesa
    Niskanen, Reino
    THEORETICAL COMPUTER SCIENCE, 2024, 1005
  • [4] Universality for Turing Machines, Inductive Turing Machines and Evolutionary Algorithms
    Burgin, Mark
    Eberbach, Eugene
    FUNDAMENTA INFORMATICAE, 2009, 91 (01) : 53 - 77
  • [5] Turing Machines as Conscious Computing Machines
    Krol, Jerzy
    Schumann, Andrew
    INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 4, WORLDCIST 2023, 2024, 802 : 400 - 410
  • [6] Simulating Turing Machines with Polarizationless P Systems with Active Membranes
    Gazdag, Zsolt
    Kolonits, Aabor
    Gutierrez-Naranjo, Miguel A.
    MEMBRANE COMPUTING (CMC 2014), 2014, 8961 : 229 - 240
  • [7] Symmetric Instruction Machines and Symmetric Turing Machines
    Burgin, Mark
    Schroeder, Marcin J.
    PHILOSOPHIES, 2025, 10 (01)
  • [8] DEFINABILITY BY TURING MACHINES
    BAER, RM
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1969, 15 (04): : 325 - &
  • [9] ON FORMALISMS FOR TURING MACHINES
    FISCHER, PC
    JOURNAL OF THE ACM, 1965, 12 (04) : 570 - &
  • [10] TURING-MACHINES
    HOPCROFT, JE
    SCIENTIFIC AMERICAN, 1984, 250 (05) : 86 - &