Computable symbolic dynamics

被引：8
|
作者：
Cenzer, Douglas [1 ]
Dashti, S. Ali [1 ]
King, Jonathan L. F. [1 ]
机构：
[1] Univ Florida, Dept Math, Gainesville, FL 32611 USA
来源：
MATHEMATICAL LOGIC QUARTERLY | 2008年 / 54卷 / 05期
关键词：
Computability; symbolic dynamics; Pi(0)(1) classes;
D O I：
10.1002/malq.200710066
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
We investigate computable subshifts and the connection with effective symbolic dynamics. It is shown that a decidable Pi(0)(1) class P is a subshift if and only if there exists a computable function F mapping 2(N) to 2(N) such that P is the set of itineraries of elements of 2(N). Pi(0)(1) subshifts are constructed in 2(N) and in 2(Z) which have no computable elements. We also consider the symbolic dynamics of maps on the unit interval. (C) WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim
引用
收藏
页码：460 / 469
页数：10
相关论文
共 50 条
  • [1] Special Session at CiE 2024: Computable Aspects of Symbolic Dynamics and Tilings
    de Menibus, Benjamin Hellouin
    Torma, Ilkka
    TWENTY YEARS OF THEORETICAL AND PRACTICAL SYNERGIES, CIE 2024, 2024, 14773 : XXV - XXV
  • [2] Computable fixpoints in well-structured symbolic model checking
    Bertrand, N.
    Schnoebelen, P.
    FORMAL METHODS IN SYSTEM DESIGN, 2013, 43 (02) : 233 - 267
  • [3] Computable fixpoints in well-structured symbolic model checking
    N. Bertrand
    P. Schnoebelen
    Formal Methods in System Design, 2013, 43 : 233 - 267
  • [4] Symbolic dynamics
    Morse, M
    Hedlund, GA
    AMERICAN JOURNAL OF MATHEMATICS, 1938, 60 : 815 - 866
  • [5] Symbolic dynamics
    Voss, A
    Wessel, N
    Kurths, J
    Witt, A
    Schirdewan, A
    Osterziel, KJ
    Malik, M
    Dietz, R
    ADVANCES IN NONINVASIVE ELECTROCARDIOGRAPHIC MONITORING TECHNIQUES, 2000, 229 : 429 - 437
  • [6] Symbolic dynamics
    Lecture Notes in Mathematics, 1992, 1513
  • [7] Complex dynamics and symbolic dynamics
    Blanchard, P
    Devaney, RL
    Keen, L
    SYMBOLIC DYNAMICS AND ITS APPLICATIONS, 2004, 60 : 37 - 60
  • [8] Symbolic Fractional Dynamics
    Tenreiro Machado, J. A.
    Galhano, Alexandra M.
    IEEE JOURNAL ON EMERGING AND SELECTED TOPICS IN CIRCUITS AND SYSTEMS, 2013, 3 (03) : 468 - 474
  • [9] Effective Symbolic Dynamics
    Cenzer, Douglas
    Ali Dashti, S.
    King, Jonathan L.F.
    Electronic Notes in Theoretical Computer Science, 2008, 202 (0C) : 89 - 99
  • [10] SYMBOLIC DYNAMICS OF ROTATIONS
    GAMBAUDO, JM
    LANFORD, O
    TRESSER, C
    COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1984, 299 (16): : 823 - 826
12345