N. Ollinger, A. Gajardo, and R. Torres-avilés, The transitivity problem of Turing machines, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01145799

S. Aaronson, D. Grier, and L. Schaeffer, The classification of reversible bit operations. ArXiv e-prints, 2015.

N. Aubrun, S. Barbieri, and M. Sablik, A notion of effectiveness for subshifts on finitely generated groups. ArXiv e-prints, 2014.

N. Aubrun and M. Sablik, Simulation of Effective Subshifts by Two-dimensional Subshifts of Finite Type, Acta Applicandae Mathematicae, vol.12, issue.3, pp.35-63, 2013.
DOI : 10.1007/s10440-013-9808-5
URL : https://hal.archives-ouvertes.fr/hal-01275179

J. Belk and C. Bleak, Some undecidability results for asynchronous transducers and the Brin-Thompson group 2V. ArXiv e-prints, 2014.

J. Belk and F. Matucci, Conjugacy and dynamics in Thompson???s groups, Geometriae Dedicata, vol.5, issue.6, pp.239-261, 2014.
DOI : 10.1007/s10711-013-9853-2
URL : http://arxiv.org/abs/0708.4250

T. Ceccherini-silberstein and M. Coornaert, Cellular Automata and Groups, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00527516

E. Czeizler and J. Kari, A tight linear bound on the synchronization delay of bijective automata, Automata, Languages and Programming, pp.23-36, 2007.
DOI : 10.1016/j.tcs.2007.02.052

B. Durand, A. Romashchenko, and A. Shen, Effective Closed Subshifts in 1D Can Be Implemented in 2D, Fields of logic and computation, pp.208-226, 2010.
DOI : 10.1002/j.1538-7305.1961.tb03975.x
URL : http://arxiv.org/abs/1003.3103

G. Elek and N. Monod, On the topological full group of a minimal Cantor Z?2- system. ArXiv e-prints, 2012.

A. Gajardo and P. Guillon, Zigzags in Turing Machines, Computer Science? Theory and Applications, pp.109-119, 2010.
DOI : 10.1007/978-3-642-13182-0_11
URL : https://hal.archives-ouvertes.fr/hal-00460662

A. Gajardo and J. Mazoyer, One Head Machines from a symbolic approach, Theoretical Computer Science, vol.370, issue.1-3, pp.34-47, 2007.
DOI : 10.1016/j.tcs.2006.10.004

T. Giordano, I. Putnam, and C. Skau, Full groups of Cantor minimal systems, Israel Journal of Mathematics, vol.136, issue.1, pp.285-320, 1999.
DOI : 10.1007/BF02810689

R. Grigorchuk and K. Medynets, On algebraic properties of topological full groups. ArXiv e-prints, 2011.

P. K?rka, J. Delvenne, and V. Blondel, Decidability and universality in symbolic dynamical systems, Fund. Inform, vol.74, issue.4, pp.463-490, 2006.

K. Juschenko and N. Monod, Cantor systems, piecewise translations and simple amenable groups, Annals of Mathematics, vol.178, issue.2, 2012.
DOI : 10.4007/annals.2013.178.2.7
URL : http://arxiv.org/abs/1204.2132

J. Kari, Representation of reversible cellular automata with block permutations, Theory of Computing Systems, vol.29, pp.47-61, 1996.

J. Kari and N. Ollinger, Periodicity and Immortality in Reversible Computing, Proceedings of the 33rd international symposium on Mathematical Foundations of Computer Science, MFCS '08, pp.419-430, 2008.
DOI : 10.1007/978-3-540-85238-4_34
URL : https://hal.archives-ouvertes.fr/hal-00270815

P. K?rka, On topological dynamics of Turing machines, Theoretical Computer Science, vol.174, issue.1-2, pp.203-216, 1997.
DOI : 10.1016/S0304-3975(96)00025-4

P. K?rka, Erratum to: Entropy of Turing machines with moving head, Theoretical Computer Science, vol.411, issue.31-33, pp.31-332999, 2010.
DOI : 10.1016/j.tcs.2010.04.033

D. Lind and B. Marcus, An Introduction to Symbolic Dynamics and Coding, 1995.
DOI : 10.1017/CBO9780511626302
URL : http://dx.doi.org/10.1016/0898-1221(96)87345-7

D. Lind, M. Boyle, and D. Rudolph, The automorphism group of a shift of finite type. Transactions of the, pp.71-114, 1988.

H. Matui, Topological full groups of one-sided shifts of finite type. ArXiv e-prints, 2012.

V. Salo and I. Törmä, Group-Walking Automata, Cellular Automata and Discrete Complex Systems, pp.224-237, 2015.
DOI : 10.1007/978-3-662-47221-7_17
URL : https://hal.archives-ouvertes.fr/hal-01442475

V. Salo and I. Törmä, Plane-Walking Automata, Cellular Automata and Discrete Complex Systems, pp.135-148, 2015.
DOI : 10.1007/978-3-319-18812-6_11

J. Cassaigne, V. Blondel, and C. Nichitiu, On the presence of periodic configurations in Turing machines and in counter machines, Theoretical Computer Science, vol.289, issue.1, pp.573-590, 2002.

A. Vershik and E. Gordon, Groups that are locally embeddable in the class of finite groups, Algebra i Analiz, vol.9, issue.1, pp.71-97, 1997.

B. Weiss, Sofic groups and dynamical systems Sankhy¯ a: The Indian Journal of Statistics, Series A, pp.350-359, 2000.

M. Ziman, On finite approximations of groups and algebras, Illinois Journal of Mathematics, vol.46, issue.3, pp.837-839, 2002.