Simulation of effective subshifts by two-dimensional subshifts of finite type

DOI10.1007/s10440-013-9808-5zbMath1283.37014arXiv1602.06095OpenAlexW2052038522MaRDI QIDQ368710

Mathieu Sablik, Nathalie Aubrun

Publication date: 23 September 2013

Published in: Acta Applicandae Mathematicae (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1602.06095

zbMATH Keywords

symbolic dynamicsTuring machineeffectively closed subshiftfactor systemhigher-dimensional subshiftsubaction

Mathematics Subject Classification ID

Related Items (33)

The Group of Reversible Turing Machines ⋮ Effective S-adic Symbolic Dynamical Systems ⋮ Computability in Symbolic Dynamics ⋮ Turing degree spectra of minimal subshifts ⋮ Computability of topological entropy: from general systems to transformations on Cantor sets and the interval ⋮ Computability of topological pressure on compact shift spaces beyond finite type* ⋮ One-dimensional projective subdynamics of uniformly mixing shifts of finite type ⋮ Quantifier extensions of multidimensional sofic shifts ⋮ Parametrization by horizontal constraints in the study of algorithmic properties of \(\mathbb{Z}^2\)-subshifts of finite type ⋮ Seas of squares with sizes from a \(\Pi_{1}^{0}\) set ⋮ Recognizability of morphisms ⋮ Countable sofic shifts with a periodic direction ⋮ On the Besicovitch-stability of noisy random tilings ⋮ Subsystem entropies of shifts of finite type and sofic shifts on countable amenable groups ⋮ Arithmetical hierarchy of the Besicovitch-stability of noisy tilings ⋮ Probability and algorithmics: a focus on some recent developments ⋮ Subshifts with sparse traces ⋮ Hardness of conjugacy, embedding and factorization of multidimensional subshifts ⋮ A notion of effectiveness for subshifts on finitely generated groups ⋮ Characterization of sets of limit measures of a cellular automaton iterated on a random configuration ⋮ Zero-temperature phase diagram for double-well type potentials in the summable variation class ⋮ A class of nonsofic multidimensional shift spaces ⋮ Unnamed Item ⋮ The work of Mike Hochman on multidimensional symbolic dynamics and Borel dynamics ⋮ The expressiveness of quasiperiodic and minimal shifts of finite type ⋮ Slopes of multidimensional subshifts ⋮ Ergodic optimization in dynamical systems ⋮ Quantified block gluing for multidimensional subshifts of finite type: aperiodicity and entropy ⋮ A generalization of the simulation theorem for semidirect products ⋮ Weak colored local rules for planar tilings ⋮ On the Expressive Power of Quasiperiodic SFT. ⋮ Classification of sofic projective subdynamics of multidimensional shifts of finite type ⋮ Entropies realizable by block gluing \(\mathbb{Z}^{d}\) shifts of finite type

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fixed-point tile sets and their applications
• On the dynamics and recursive properties of multidimensional symbolic systems
• Symbolic dynamics. One-sided, two-sided and countable state Markov shifts
• Tilings, substitution systems and dynamical systems generated by them
• Undecidability and nonperiodicity for tilings of the plane
• Fixed Point and Aperiodic Tilings
• Nonrecursive tilings of the plane. I
• Nonrecursive tilings of the plane. II
• An Introduction to Symbolic Dynamics and Coding
• Complex tilings
• Classification of sofic projective subdynamics of multidimensional shifts of finite type
• Endomorphisms and automorphisms of the shift dynamical system
• The undecidability of the domino problem

This page was built for publication: Simulation of effective subshifts by two-dimensional subshifts of finite type