论文信息 - Two-Dimensional Languages and Cellular Automata

Two-Dimensional Languages and Cellular Automata

Space-time diagrams of a one-dimensional cellular automaton can be visualized as half-plane arrays of symbols. The set of rectangular blocks extracted from such arrays forms a two-dimensional (picture) language. We initiate a study of cellular automata through the associated two dimensional languages by investigating cellular automata whose two-dimensional languages are factorial-local. We show that these cellular automata have the same characterization as one-sided cellular automata with SFT traces.

Natasa Jonoska | Egor Dolzhenko

[1] Natasa Jonoska,et al. Transducer generated arrays of robotic nano-arms , 2009, Natural Computing.

[2] Douglas Lind,et al. An Introduction to Symbolic Dynamics and Coding , 1995 .

[3] Pietro Di Lena. Decidable Properties for Regular Cellular Automata , 2006, IFIP TCS.

[4] Robert L. Berger. The undecidability of the domino problem , 1966 .

[5] Natasa Jonoska,et al. On Complexity of Two Dimensional Languages Generated by Transducers , 2008, CIAA.

[6] François Blanchard,et al. Dynamical Behaviour of Coven's Aperiodic Cellular Automata , 1996, Theor. Comput. Sci..

[7] Jarkko Kari. The Nilpotency Problem of One-Dimensional Cellular Automata , 1992, SIAM J. Comput..

[8] Ludwig Staiger,et al. Ω-languages , 1997 .

[9] Pierre Guillon,et al. Sofic Trace Subshift of a Cellular Automaton , 2007, CiE.

[10] Tom Head,et al. One-Dimensional Cellular Automata: Injectivity From Unambiguity , 1989, Complex Syst..

[11] Marcella Anselmo,et al. Framed Versus Unframed Two-Dimensional Languages , 2009, SOFSEM.

[12] Pietro Di Lena. On Computing the Topological Entropy of One-sided Cellular Automata , 2007, J. Cell. Autom..

[13] P. Kurka. Languages, equicontinuity and attractors in cellular automata , 1997, Ergodic Theory and Dynamical Systems.

[14] Natasa Jonoska,et al. Multiplicities of covers for sofic shifts , 2001, Theor. Comput. Sci..

[15] Antonio Restivo,et al. Two-Dimensional Languages , 1997, Handbook of Formal Languages.