Abstract
Tilings and tiling systems are an abstract concept that arise both as a computational model and as a dynamical system. In this paper, we prove an analog of the theorems of Fagin [9] and Selman and Jones [14] by characterizing sets of periods of tiling systems by complexity classes.
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
Allauzen, C., Durand, B.: Tiling Problems. In: The classical decision problem, Perspectives in Mathematical Logic, ch. Appendix A. Springer, Heidelberg (2001)
Balcazar, J., Diaz, J., Gabarro, J.: Structural Complexity II. Springer, Heidelberg (1988)
Berger, R.: The Undecidability of the Domino Problem. Memoirs of the American Mathematical Society, vol. 66. The American Mathematical Society, Providence (1966)
Borchert, B.: Formal Language characterizations of P, NP, and PSPACE. Journal of Automata, Languages and Combinatorics 13(3/4), 161–183 (2008)
Buchi, J.R.: Turing-Machines and the Entscheidungsproblem. Math. Annalen 148, 201–213 (1962)
Carayol, A., Meyer, A.: Context-Sensitive Languages, Rational Graphs and Determinism. Logical Methods in Computer Science 2(2), 1–24 (2006)
Chaitin, G.: The Halting Probability via Wang Tiles. Fundamenta Informaticae 86(4), 429–433 (2008)
Ebbinghaus, H.-D., Flum, J.: Finite Model Theory. Springer Monographs in Mathematics. Springer, Berlin (1995)
Fagin, R.: Generalized first-order spectra and polynomial-time recognizable sets. In: Karp, R. (ed.) SIAM-AMS Proceedings of Complexity of Computation, vol. 7, pp. 43–73 (1974)
Flores, I.: Reflected Number Systems. IRE Transactions on Electronic Computers EC-5(2), 79–82 (1956)
Gurevich, Y., Koryakov, I.: Remarks on Berger’s paper on the domino problem. Siberian Math. Journal (1972)
Harel, D.: Recurring Dominoes: Making the Highly Undecidable Highly Understandable. Annals of Discrete Mathematics 24, 51–72 (1985)
Immerman, N.: Nondeterministic space is closed under complementation. SIAM Journal on Computing 17(5), 935–938 (1988)
Jones, N.D., Selman, A.L.: Turing machines and the spectra of first-order formulas with equality. In: STOC 1972: Proceedings of the Fourth Annual ACM Symposium on Theory of Computing, pp. 157–167 (1972)
Kari, J.: The Nilpotency Problem of One-Dimensional Cellular Automata. SIAM Journal on Computing 21(3), 571–586 (1992)
Kari, J.: Reversibility and surjectivity problems of cellular automata. J. Comput. Syst. Sci. 48(1), 149–182 (1994)
Kari, J., Papasoglu, P.: Deterministic Aperiodic Tile Sets. Geometric And Functional Analysis 9, 353–369 (1999)
Knuth, D.E.: Generating all Tuples and Permutations. In: The Art of Computer Programming, vol. 4 fasc. 2. Addison-Wesley. Reading (2005)
Lind, D.: A zeta function for ℤd-actions. In: Proceedings of Warwick Symposium on ℤd actions. LMS Lecture Notes Series, vol. 228, pp. 433–450. Cambridge Univ. Press, Cambridge (1996)
Lind, D.A., Marcus, B.: An Introduction to Symbolic Dynamics and Coding. Cambridge University Press, New York (1995)
van Emde Boas, P.: The convenience of Tilings. In: Complexity, Logic, and Recursion Theory. Lecture Notes in Pure and Applied Mathematics, vol. 187. CRC, Boca Raton (1997)
Wang, H.: Proving theorems by Pattern Recognition II. Bell Systems Technical Journal 40, 1–41 (1961)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jeandel, E., Vanier, P. (2010). Periodicity in Tilings. In: Gao, Y., Lu, H., Seki, S., Yu, S. (eds) Developments in Language Theory. DLT 2010. Lecture Notes in Computer Science, vol 6224. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14455-4_23
Download citation
DOI: https://doi.org/10.1007/978-3-642-14455-4_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14454-7
Online ISBN: 978-3-642-14455-4
eBook Packages: Computer ScienceComputer Science (R0)