Projective subdynamics and universal shifts
Discrete mathematics & theoretical computer science, DMTCS Proceedings vol. AP, Automata 2011 - 17th International Workshop on Cellular Automata and Discrete Complex Systems, DMTCS Proceedings vol. AP, Automata 2011 - 17th International Workshop on Cellular Automata and Discrete Complex Systems (2011) Cet article a éte moissonné depuis la source Episciences

Voir la notice de l'article

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.
@article{DMTCS_2011_special_261_a1,
     author = {Guillon, Pierre},
     title = {Projective subdynamics and universal shifts},
     journal = {Discrete mathematics & theoretical computer science},
     year = {2011},
     volume = {DMTCS Proceedings vol. AP, Automata 2011 - 17th International Workshop on Cellular Automata and Discrete Complex Systems},
     doi = {10.46298/dmtcs.2969},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.2969/}
}
TY  - JOUR
AU  - Guillon, Pierre
TI  - Projective subdynamics and universal shifts
JO  - Discrete mathematics & theoretical computer science
PY  - 2011
VL  - DMTCS Proceedings vol. AP, Automata 2011 - 17th International Workshop on Cellular Automata and Discrete Complex Systems
UR  - http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.2969/
DO  - 10.46298/dmtcs.2969
LA  - en
ID  - DMTCS_2011_special_261_a1
ER  - 
%0 Journal Article
%A Guillon, Pierre
%T Projective subdynamics and universal shifts
%J Discrete mathematics & theoretical computer science
%D 2011
%V DMTCS Proceedings vol. AP, Automata 2011 - 17th International Workshop on Cellular Automata and Discrete Complex Systems
%U http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.2969/
%R 10.46298/dmtcs.2969
%G en
%F DMTCS_2011_special_261_a1
Guillon, Pierre. Projective subdynamics and universal shifts. Discrete mathematics & theoretical computer science, DMTCS Proceedings vol. AP, Automata 2011 - 17th International Workshop on Cellular Automata and Discrete Complex Systems, DMTCS Proceedings vol. AP, Automata 2011 - 17th International Workshop on Cellular Automata and Discrete Complex Systems (2011). doi: 10.46298/dmtcs.2969

Cité par Sources :