Effective S-adic Symbolic Dynamical Systems

DOI10.1007/978-3-319-40189-8_2zbMath1479.37013MaRDI QIDQ3188236

Thomas Fernique, Valérie Berthé, Mathieu Sablik

Publication date: 17 August 2016

Published in: Pursuit of the Universal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-40189-8_2

zbMATH Keywords

subshift of finite type; symbolic dynamics; substitution; local rules; computable invariant measure; planar tiling; sofic subshift; \(S\)-adic system; adic map; effective language

Mathematics Subject Classification ID

37B10: Symbolic dynamics

52C20: Tilings in (2) dimensions (aspects of discrete geometry)

37B52: Tiling dynamics

37B51: Multidimensional shifts of finite type

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Simulation of effective subshifts by two-dimensional subshifts of finite type
• A constructive version of Birkhoff's ergodic theorem for Martin-Löf random points
• Fusion: a general framework for hierarchical tilings of \(\mathbb{R }^d\)
• No weak local rules for the \(4_p\)-fold tilings
• Weak matching rules for quasicrystals
• A primer of substitution tilings of the Euclidean plane
• Multidimensional generalized automatic sequences and shape-symmetric morphic words
• A characterization of the entropies of multidimensional shifts of finite type
• On the dynamics and recursive properties of multidimensional symbolic systems
• Effective symbolic dynamics, random points, statistical behavior, complexity and entropy
• Matching rules and substitution tilings
• Logic and \(p\)-recognizable sets of integers
• Towards a characterization of self-similar tilings in terms of derived Voronoï tessellations
• Tilings and rotations on the torus: A two-dimensional generalization of Sturmian sequences
• Tilings, substitution systems and dynamical systems generated by them
• When periodicities enforce aperiodicity
• Local rule substitutions and stepped surfaces
• Undecidability and nonperiodicity for tilings of the plane
• DECIDABILITY OF UNIFORM RECURRENCE OF MORPHIC SEQUENCES
• Generating Discrete Planes with Substitutions
• HD0L-$\omega$-equivalence and periodicity problems in the primitive case (to the memory of G. Rauzy)
• Combinatorics, Words and Symbolic Dynamics
• Effective Closed Subshifts in 1D Can Be Implemented in 2D
• A DECISION PROBLEM FOR ULTIMATELY PERIODIC SETS IN NONSTANDARD NUMERATION SYSTEMS
• Substitutional dynamical systems, Bratteli diagrams and dimension groups
• Linearly recurrent subshifts have a finite number of non-periodic subshift factors
• ORDERED BRATTELI DIAGRAMS, DIMENSION GROUPS AND TOPOLOGICAL DYNAMICS
• ENUMERATION AND DECIDABLE PROPERTIES OF AUTOMATIC SEQUENCES
• Decidability and Enumeration for Automatic Sequences: A Survey
• Decidability of the HD0L ultimate periodicity problem
• Beyond substitutive dynamical systems: S-adic expansions
• Formal Languages, Automata and Numeration Systems 2
• The undecidability of the domino problem
• Pisot substitutions and Rauzy fractals