Zigzags in Turing Machines

被引：0
|
作者：
Gajardo, Anahi [1 ]
Guillon, Pierre [2 ]
机构：
[1] Univ Concepcion, Dept Ingn Matemat, Casilla 160-C, Concepcion, Chile
[2] Univ Chile, CNRS, DIM CMM, UMI 2807, Santiago, Chile
来源：
COMPUTER SCIENCE - THEORY AND APPLICATIONS | 2010年 / 6072卷
关键词：
Turing machines; discrete dynamical systems; subshifts; formal languages;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We study one-head machines through symbolic and topological dynamics. In particular, a subshift is associated to the subshift, and we are interested in its complexity in terms of realtime recognition. We emphasize the class of one-head machines whose subshift can be recognized by a deterministic pushdown automaton. We prove that this class corresponds to particular restrictions on the head movement, and to equicontinuity in associated dynamical systems.
引用
收藏
页码：109 / +
页数：2
相关论文
共 50 条
  • [1] Universality for Turing Machines, Inductive Turing Machines and Evolutionary Algorithms
    Burgin, Mark
    Eberbach, Eugene
    [J]. FUNDAMENTA INFORMATICAE, 2009, 91 (01) : 53 - 77
  • [2] Alan Turing, Turing Machines and Stronger
    Gams, Matjaz
    [J]. INFORMATICA-JOURNAL OF COMPUTING AND INFORMATICS, 2013, 37 (01): : 9 - 14
  • [3] Simulating Turing machines on Maurer machines
    Programming Research Group, University of Amsterdam, P.O. Box 41882, 1009 DB Amsterdam, Netherlands
    不详
    [J]. J. Appl. Logic, 2008, 1 (1-23):
  • [4] DEFINABILITY BY TURING MACHINES
    BAER, RM
    [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1969, 15 (04): : 325 - &
  • [5] Turing Machines as Conscious Computing Machines
    Krol, Jerzy
    Schumann, Andrew
    [J]. INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 4, WORLDCIST 2023, 2024, 802 : 400 - 410
  • [6] Accelerating Turing Machines
    B. Jack Copeland
    [J]. Minds and Machines, 2002, 12 : 281 - 300
  • [7] ON FORMALISMS FOR TURING MACHINES
    FISCHER, PC
    [J]. JOURNAL OF THE ACM, 1965, 12 (04) : 570 - &
  • [8] TURING-MACHINES
    HOPCROFT, JE
    [J]. SCIENTIFIC AMERICAN, 1984, 250 (05) : 86 - &
  • [9] Turing machines and bimachines
    Rhodes, John
    Silva, Pedro V.
    [J]. THEORETICAL COMPUTER SCIENCE, 2008, 400 (1-3) : 182 - 224
  • [10] Accelerating Turing machines
    Copeland, BJ
    [J]. MINDS AND MACHINES, 2002, 12 (02) : 281 - 301
12345