Decidable problems in substitution shifts
From MaRDI portal
Publication:6126479
DOI10.1016/j.jcss.2024.103529arXiv2112.14499MaRDI QIDQ6126479
Dominique Perrin, Marie-Pierre Béal, Antonio Restivo
Publication date: 9 April 2024
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2112.14499
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Asymptotic properties of free monoid morphisms
- Substitution dynamical systems. Spectral analysis
- On the simplification of infinite morphic words
- Power of words and recognizability of fixpoints of a substitution
- Elementary homomorphisms and a solution of the DOL sequence equivalence problem
- Logic and \(p\)-recognizable sets of integers
- Some properties of substitutive words
- Hierarchie et fermeture de certaines classes de tag-systèmes
- The monadic theory of morphic infinite words and generalizations
- Some remarks about stabilizers
- Decidability and universality of quasiminimal subshifts
- A simple approach to minimal substitution subshifts
- Invariant measures for the subshifts arising from non-primitive substitutions
- Substitution dynamical systems: characterization of linear repetitivity and applications
- Unzerlegbare, nicht negative Matrizen
- DECIDABILITY OF UNIFORM RECURRENCE OF MORPHIC SEQUENCES
- Aperiodic substitution systems and their Bratteli diagrams
- On the periodicity of morphisms on free monoids
- Substitutional dynamical systems, Bratteli diagrams and dimension groups
- Automatic Sequences
- Beyond primitivity for one-dimensional substitution subshifts and tiling spaces
- ORDERED BRATTELI DIAGRAMS, DIMENSION GROUPS AND TOPOLOGICAL DYNAMICS
- Reconnaissabilité des substitutions et complexité des suites automatiques
- Decidability of periodicity for infinite words
- An Introduction to Symbolic Dynamics and Coding
- Decidability of the HD0L ultimate periodicity problem
- Dimension Groups and Dynamical Systems
- The Logical Approach to Automatic Sequences
- Recognizability for sequences of morphisms
- On two-sided infinite fixed points of morphisms