Abstract
Particles and collisions are convenient construction tools to compute inside tilings and enforce complex sets of tilings with simple tilesets. Locally enforceable particles being incompatible with expansivity in the orthogonal direction, a compromise has to be found to combine both notions in a same tileset. This paper introduces knight tiles: a framework to construct 4-way deterministic tilings, that is tilings completely determined by any infinite diagonal of tiles, for which local particles and collisions with many slopes can still be constructed while being expansive in infinitely many directions. The framework is then illustrated by an elegant yet simple construction to mark a diagonal with a 4-way deterministic knight tileset.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bennett, C.H.: Logical reversibility of computation. IBM J. Res. Dev. 17(6), 525–532 (1973), http://dx.doi.org/10.1147/rd.176.0525
Berger, R.: The Undecidability of the Domino Problem. Ph.D. thesis. Harvard University (1964)
Boyle, M., Lind, D.: Expansive subdynamics. Transactions of the American Mathematical Society 349(1), 55–102 (1997)
Kari, J., Papasoglu, P.: Deterministic aperiodic tile sets. Geometric and Functional Analysis 9, 353–369 (1999), http://dx.doi.org/10.1007/s000390050090
Kari, J.: Rice’s theorem for the limit sets of cellular automata. Theor. Comput. Sci. 127(2), 229–254 (1994)
Le Gloannec, B., Ollinger, N.: Substitutions and strongly deterministic tilesets. In: Cooper, S.B., Dawar, A., Löwe, B. (eds.) CiE 2012. LNCS, vol. 7318, pp. 462–471. Springer, Heidelberg (2012)
Lecerf, Y.: Machines de Turing réversibles. Comptes rendus de l’Académie française des Sciences 257, 2597–2600 (1963)
Lukkarila, V.: The 4-way deterministic tiling problem is undecidable. Theor. Comput. Sci. 410(16), 1516–1533 (2009)
Morita, K.: Reversible simulation of one-dimensional irreversible cellular automata. Theoretical Computer Science 148(1), 157–163 (1995)
Pytheas Fogg, N.: Substitutions in Dynamics, Arithmetics and Combinatorics. Lecture Notes in Mathematics. Springer (2002), http://books.google.fr/books?id=Cmogpq-lSnoC
Robinson, R.: Undecidability and nonperiodicity for tilings of the plane. Inventiones Mathematicae 12(3), 177–209 (1971)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Le Gloannec, B., Ollinger, N. (2014). Knight Tiles: Particles and Collisions in the Realm of 4-Way Deterministic Tilings. In: Shur, A.M., Volkov, M.V. (eds) Developments in Language Theory. DLT 2014. Lecture Notes in Computer Science, vol 8633. Springer, Cham. https://doi.org/10.1007/978-3-319-09698-8_20
Download citation
DOI: https://doi.org/10.1007/978-3-319-09698-8_20
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-09697-1
Online ISBN: 978-3-319-09698-8
eBook Packages: Computer ScienceComputer Science (R0)