J. Balcazar, J. Diaz, and J. Gabarro, Structural Complexity I, 1988.
DOI : 10.1007/978-3-642-97062-7

J. Balcazar, J. Diaz, J. Gabarrober64-]-r, and . Berger, Structural Complexity II The Undecidability of the Domino Problem, The Undecidability of the Domino Problem. Memoirs of the, 1964.

J. Berstel, Axel Thue's papers on repetitions in words: a translation, In: Publications du LaCIM, vol.20, 1995.

]. B. Bor08, P. Borchert, N. , and P. , Formal Language characterizations of, Journal of Automata, Languages and Combinatorics, vol.133, issue.4, pp.161-183, 2008.

A. [. Carayol and . Meyer, Context-Sensitive Languages, Rational Graphs and Determinism, Logical Methods in Computer Science, vol.2, issue.2, pp.1-24, 2006.
DOI : 10.2168/LMCS-2(2:6)2006

URL : https://hal.archives-ouvertes.fr/hal-00149086

. A. Djmm, N. D. Durand, J. A. Jones, M. M. Makowsky, A. Durand et al., Fifty Years of the Spectrum Problem: Survey and New Results " . arXiv:0907.5495v1 Effective Closed Subshifts in 1D Can Be Implemented in 2D " . In: Fields of Logic and Computation, Lecture Notes in Computer Science, vol.6300, pp.208-226, 2010.

. P. Eb, . Van-emde, and . Boas, Machine Models and Simulations In: Handbook of Theoretical Computer Science vol A: Algorithms and Complexity, Chap. 1. [Flo56] I. Flores. " Reflected Number Systems " . In: IRE Transactions on Electronic Computers EC-5, pp.79-82, 1956.

T. [. Hochman and . Meyerovitch, A characterization of the entropies of multidimensional shifts of finite type, Annals of Mathematics, vol.171, issue.3, pp.2011-2038, 2010.
DOI : 10.4007/annals.2010.171.2011

]. N. Imm88, . [. Immerman, A. L. Jones, and . Selman, Nondeterministic space is closed under complementation Turing machines and the spectra of first-order formulas, In: SIAM Journal on Computing Journal of Symbolic Logic, vol.17, issue.391, pp.935-938, 1974.

E. Jeandel, P. Vanier-gao, H. Lu, S. Seki, and S. Yu, Periodicity in Tilings, Lecture Notes in Computer Science, vol.6224, pp.243-254, 2010.
DOI : 10.1007/978-3-642-14455-4_23

URL : https://hal.archives-ouvertes.fr/hal-00419196

]. J. Kar92 and . Kari, The Nilpotency Problem of One-Dimensional Cellular Automata, In: SIAM Journal on Computing, vol.213, pp.571-586, 1992.

J. Kari, Reversibility and surjectivity problems of cellular automata, Journal of Computer and System Sciences, vol.48, issue.1, pp.22-000080025, 1994.
DOI : 10.1016/S0022-0000(05)80025-X

J. Kari, A small aperiodic set of Wang tiles, Discrete Mathematics, vol.160, issue.1-3, pp.259-264, 1996.
DOI : 10.1016/0012-365X(95)00120-L

]. D. Knu05 and . Knuth, Generating all Tuples and Permutations fasc. 2. The Art of Computer Programming, Multidimensional Symbolic Dynamics " . In: Symbolic dynamics and its applications Proceedings of Symposia in Applied Mathematics, pp.61-80, 2004.

]. D. Lin96 and . Lind, A zeta function for Z d -actions, Proceedings of Warwick Symposium on Z d actions LMS Lecture Notes Series, pp.433-450, 1996.

B. [. Lind, H. M. Marcus, R. M. Morse, and . Robinson, An Introduction to Symbolic Dynamics and Coding Recurrent Geodesics on a Surface of Negative Curvature, isbn: 0521551242. [Mor21] Undecidability and Nonperiodicity for Tilings of the Plane " . In: Inventiones Math, pp.84-100, 1921.

]. H. Rog87, . G. Rogerssim09-]-s, and . Simpson, Theory of Recursive Functions and Effective Computability Medvedev Degrees of 2-Dimensional Subshifts of Finite Type, 1987.

]. A. Thu12 and . Thue, ¨ Uber die gegenseitige Lage gleicher Teiler gewisser Zeichenreihen, In: Kra. Vidensk. Selsk. Skrifter. I. Mat.-Nat. Kl, vol.12, 1912.