2026-07-20T05:47:12Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:1833 2024-03-06T10:33:08Z ddc:004 open_access

An Order on Sets of Tilings Corresponding to an Order on Languages Aubrun, Nathalie Sablik, Mathieu Tiling Subshift Turing machine with oracle Subdynamics Traditionally a tiling is defined with a finite number of finite forbidden patterns. We can generalize this notion considering any set of patterns. Generalized tilings defined in this way can be studied with a dynamical point of view, leading to the notion of subshift. In this article we establish a correspondence between an order on subshifts based on dynamical transformations on them and an order on languages of forbidden patterns based on computability properties. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Nathalie Aubrun and Mathieu Sablik 2009 Is Part Of LIPIcs, Volume 3, 26th International Symposium on Theoretical Aspects of Computer Science (2009) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.STACS.2009.1833 urn:nbn:de:0030-drops-18336 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2009.1833 eng https://creativecommons.org/licenses/by-nd/3.0/legalcode