Projective subdynamics and universal shifts - Archive ouverte HAL Access content directly
Conference Papers Discrete Mathematics and Theoretical Computer Science Year : 2011

Projective subdynamics and universal shifts

Abstract

We study the projective subdynamics of two-dimensional shifts of finite type, which is the set of one-dimensional configurations that appear as columns in them. We prove that a large class of one-dimensional shifts can be obtained as such, namely the effective subshifts which contain positive-entropy sofic subshifts. The proof involves some simple notions of simulation that may be of interest for other constructions. As an example, it allows us to prove the undecidability of all non-trivial properties of projective subdynamics.
Fichier principal
Vignette du fichier
dmAP0109.pdf (319.01 Ko) Télécharger le fichier
Origin Publisher files allowed on an open archive
Loading...

Dates and versions

hal-01196136 , version 1 (09-09-2015)

Identifiers

Cite

Pierre Guillon. Projective subdynamics and universal shifts. 17th International Workshop on Celular Automata and Discrete Complex Systems, 2011, Santiago, Chile. pp.123-134, ⟨10.46298/dmtcs.2969⟩. ⟨hal-01196136⟩
236 View
816 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More