On the time complexity of 2-tag systems and small universal Turing machines

被引：0
|
作者：
Woods, Damien [1 ]
Neary, Turlough [2 ]
机构：
[1] Univ Coll Cork, Boole Ctr Res Informat, Dept Math, Cork, Ireland
[2] Natl Univ Ireland Univ Coll Cork, Dept Comp Sci, TASS, Maynooth, Kildare, Ireland
来源：
47TH ANNUAL IEEE SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS | 2006年
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We show that 2-tag systems efficiently simulate Turing machines. As a corollary we find that the small universal Turing machines of Rogozhin, Minsky and others simulate Turing machines in polynomial time. This is an exponential improvement on the previously known simulation time overhead and improves a forty year old result in the area of small universal Turing machines.
引用
收藏
页码：439 / +
页数：4
相关论文
共 50 条
  • [1] The complexity of small universal turing machines
    Woods, Damien
    Neary, Turlough
    [J]. COMPUTATION AND LOGIC IN THE REAL WORLD, PROCEEDINGS, 2007, 4497 : 791 - +
  • [2] The Complexity of Small Universal Turing Machines: A Survey
    Neary, Turlough
    Woods, Damien
    [J]. SOFSEM 2012: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2012, 7147 : 385 - +
  • [3] The complexity of small universal Turing machines: A survey
    Woods, Damien
    Neary, Turlough
    [J]. THEORETICAL COMPUTER SCIENCE, 2009, 410 (4-5) : 443 - 450
  • [4] SIZE AND STRUCTURE OF UNIVERSAL TURING MACHINES USING TAG SYSTEMS
    DAVIS, M
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (04) : 655 - &
  • [5] Small universal turing machines
    Rogozhin, Y
    [J]. THEORETICAL COMPUTER SCIENCE, 1996, 168 (02) : 215 - 240
  • [6] Four small universal turing machines
    Neary, Turlough
    Woods, Damien
    [J]. MACHINES, COMPUTATIONS, AND UNIVERSALITY, PROCEEDINGS, 2007, 4664 : 242 - +
  • [7] Small fast universal Turing machines
    Neary, Turlough
    Woods, Damien
    [J]. THEORETICAL COMPUTER SCIENCE, 2006, 362 (1-3) : 171 - 195
  • [8] Small Weakly Universal Turing Machines
    Neary, Turlough
    Woods, Damien
    [J]. FUNDAMENTALS OF COMPUTATION THEORY, PROCEEDINGS, 2009, 5699 : 262 - +
  • [9] Small Turing universal signal machines
    Durand-Lose, Jerome
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2009, (01): : 70 - 80
  • [10] Four Small Universal Turing Machines
    Neary, Turlough
    Woods, Damien
    [J]. FUNDAMENTA INFORMATICAE, 2009, 91 (01) : 123 - 144
12345