Abstract
We employ a two-dimensional automaton defined in [5] to recognize a class of two-dimensional shifts of finite type having the property that every admissable block found within the related local picture language can be extended to a point of the subshift. Here, we show that the automaton accurately represents the image of the represented two-dimensional shift of finite type under a block code. We further show that such automata can be used to check for a certain type of two-dimensional transitivity in the factor language of the corresponding shift space and how this relates to periodicity in the two-dimensional case. The paper closes with a notion of “follower sets” used to reduce the size of the automata representing two-dimensional sofic shifts.
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
Berger, R.: The undecidability of the domino problem. Memoirs AMS 66 (1966)
Coven, E.M., Johnson, A., Jonoska, N., Madden, K.: The symbolic dynamics of multidimensional tiling systems. Ergodic Theory Dynam. Systems 23(2), 447–460 (2003)
Giammarresi, D., Restivo, A.: Two-dimensional languages. Handbook of formal languages 3, 215–267 (1997)
Johnson, A.S., Madden, K.: The decomposition theorem for two-dimensional shifts of finite type. Proc. Amer. Math. Soc. 127(5), 1533–1543 (1999)
Jonoska, N., Pirnot, J.B.: Transitivity in two-dimensional local languages defined by dot systems. International Journal of Foundations of Computer Science 17(2), 435–464 (2006)
Kari, J.: A small aperiodic set of wang tiles. Discrete Mathematics 160, 259–264 (1996)
Kitchens, B., Schmidt, K.: Automorphisms of compact groups. Ergod. Th. & Dynam. Sys. 9, 691–735 (1989)
Kitchens, B., Schmidt, K.: Markov subgroups of (ℤ / 2ℤ) ℤ 2. Symbolic Dynamics and its Applications, Contemporary Mathematics 135, 265–283 (1992)
Latteux, M., Simplot, D.: Recognizable picture languages and domino tiling. Theoretical Computer Science 178, 275–283 (1997)
Lind, D., Marcus, B.: An introduction to symbolic dynamics and coding. Cambridge University Press, Cambridge (1995)
Markley, N., Paul, M.: Matrix subshifts for ℤν symbolic dynamics. Proc. London Math. Soc. 43, 251–272 (1981)
Pirnot, J.B.: Graph representation of periodic points in two-dimensional subshifts (in preparation)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jonoska, N., Pirnot, J.B. (2007). Finite State Automata Representing Two-Dimensional Subshifts. In: Holub, J., Žďárek, J. (eds) Implementation and Application of Automata. CIAA 2007. Lecture Notes in Computer Science, vol 4783. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-76336-9_26
Download citation
DOI: https://doi.org/10.1007/978-3-540-76336-9_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-76335-2
Online ISBN: 978-3-540-76336-9
eBook Packages: Computer ScienceComputer Science (R0)