Cover Image

Multidimensional tilings and MSO logic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Pallen, Rémi, Törmä, Ilkka
Format:	Preprint
Published:	2025
Subjects:	Formal Languages and Automata Theory Dynamical Systems Logic 03D55, 68Q15, 37B10, 37B51
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On Countable SFT Covers of Sparse Multidimensional Shift Spaces
by: Törmä, Ilkka
Published: (2024)

Structure and computability of preimages in the Game of Life
by: Salo, Ville, et al.
Published: (2023)

Parametrized complexity of relations between multidimensional subshifts
by: Carrasco-Vargas, Nicanor, et al.
Published: (2025)

Limit dynamics of elementary cellular automaton 18
by: Sabrié, Hervé, et al.
Published: (2023)

No weakly factor-universal cellular automaton
by: Gwozdz, Maja
Published: (2026)

Primitive Two-Dimensional Words and Iterated Pedal Triangles via Symbolic Coding
by: Smith, Taylor J.
Published: (2026)

On the minimal memory set of cellular automata
by: Castillo-Ramirez, Alonso, et al.
Published: (2024)

One-dimensional cellular automata with a unique active transition
by: Castillo-Ramirez, Alonso, et al.
Published: (2024)

Multipass automata and group word problems
by: Ceccherini-Silberstein, Tullio, et al.
Published: (2014)

Topological Kleene Field Theories as a model of computation
by: González-Prieto, Ángel, et al.
Published: (2025)

Extended branching Rauzy induction
by: Dolce, Francesco, et al.
Published: (2025)

Maximizing entropy for power-free languages
by: Climenhaga, Vaughn
Published: (2025)

Further results on generalized cellular automata
by: Castillo-Ramirez, Alonso, et al.
Published: (2023)

Subshifts defined by nondeterministic and alternating plane-walking automata
by: de Menibus, Benjamin Hellouin, et al.
Published: (2024)

Minimality and computability of languages of G-shifts
by: Amir, Djamel Eddine, et al.
Published: (2025)

Density of rational languages under shift invariant measures
by: Berthé, Valérie, et al.
Published: (2025)

Implicit automata in λ-calculi III: affine planar string-to-string functions
by: Pradic, Cécilia, et al.
Published: (2024)

Monochromatic arithmetic progressions in the Fibonacci, Thue-Morse, and Rudin-Shapiro words
by: Joshi, Gandhar, et al.
Published: (2025)

Languages given by Finite Automata over the Unary Alphabet
by: Czerwiński, Wojciech, et al.
Published: (2023)

Finite-Horizon First-Order Rank Profiles of Regular Languages
by: Bazarova, Madina, et al.
Published: (2026)

On a Rice theorem for dynamical properties of SFTs on groups
by: Carrasco-Vargas, Nicanor
Published: (2024)

Cone-Induced Observation Congruences for Vector-Valued Quantitative Languages
by: Alpay, Faruk, et al.
Published: (2026)

On the growth of hypergeometric sequences
by: Kenison, George, et al.
Published: (2025)

The strong topological Rokhlin property and Medvedev degrees of SFTs
by: Carrasco-Vargas, Nicanor
Published: (2026)

The Garden of Eden theorem: old and new
by: Ceccherini-Silberstein, Tullio, et al.
Published: (2017)

Extended Cellular Automata
by: Mehdipour, Pouya, et al.
Published: (2025)

Solving the initial value problem for cellular automata by pattern decomposition
by: Fukś, Henryk
Published: (2025)

Automaticity of spacetime diagrams generated by cellular automata on commutative monoids
by: Nesme, Vincent
Published: (2022)

Thermodynamic Formalism for a family of cellular automata and duality with the shift
by: Lopes, Artur O., et al.
Published: (2024)

Topological weak containment
by: Thornton, Riley
Published: (2025)

The Polynomial Hierarchy does not collapse
by: Czerwinski, Reiner
Published: (2024)

Formalizing Computational Paths and Fundamental Groups in Lean
by: Ramos, Arthur F., et al.
Published: (2025)

Probabilistic automatic complexity of finite strings
by: Gill, Kenneth
Published: (2024)

Multiband linear cellular automata and endomorphisms of algebraic vector groups
by: Byszewski, Jakub, et al.
Published: (2022)

A vector logic for intensional formal semantics
by: Quigley, Daniel
Published: (2026)

On linear shifts of finite type and their endomorphisms
by: Ceccherini-Silberstein, Tullio, et al.
Published: (2020)

Endpoint Koopman Spectral Computation: $L^1$ Residual Bounds, $L^\infty$ Instability, and Point-Spectral SCI Calibration Families
by: Sorg, Christopher
Published: (2026)

Two block gluing constructions
by: Salo, Ville, et al.
Published: (2026)

Decidability of the isomorphism problem between multidimensional substitutive subshifts
by: Cabezas, Christopher, et al.
Published: (2024)

On the Intersection Problem for Quantum Finite Automata
by: Benso, Andrea, et al.
Published: (2024)