Linear Cellular Automata and Automatic Sequences

We study one-dimensional linear cellular automata with values in a finite ring. The orbit of an initial configuration can be considered as a double sequence. We study the generated double sequence from the point of view of automatic sequences. We present several results which show the usefulness of this concept in the study of cellular automata. Furthermore, we present some results which are related to similar questions.

[1]  Samuel Eilenberg,et al.  Automata, languages, and machines. A , 1974, Pure and applied mathematics.

[2]  Leonard Carlitz Congruence properties of the polynomials of Hermite, Laguerre and Legendre , 1953 .

[3]  E. Berlekamp Factoring polynomials over finite fields , 1967 .

[4]  H. Niederreiter Factoring polynomials over finite fields using differential equations and normal bases , 1994 .

[5]  Harald Niederreiter,et al.  Factorization of Polynomials over Finite Fields and Characteristic Sequences , 1993, J. Symb. Comput..

[6]  Heinz-Otto Peitgen,et al.  Automaticity of Double Sequences Generated by One-Dimensional Linear Cellular Automata , 1997, Theor. Comput. Sci..

[7]  S. Vanstone,et al.  Factoring Polynomials over Finite Fields , 1993 .

[8]  Richard J. McIntosh A generalization of a congruential property of Lucas , 1992 .

[9]  J.-P. Allouche,et al.  Linear Cellular Automata, Finite Automata and Pascal's Triangle , 1996, Discret. Appl. Math..

[10]  C. Michaux,et al.  LOGIC AND p-RECOGNIZABLE SETS OF INTEGERS , 1994 .

[11]  H. Niederreiter Factorization of polynomials and some linear-algebra problems over finite fields , 1993 .

[12]  I. Korec Pascal triangles modulo n and modular trellises , 1990 .

[13]  Rene F. Swarttouw,et al.  Orthogonal polynomials , 2020, NIST Handbook of Mathematical Functions.

[14]  Peter Fleischmann Connections between the algorithms of Berlekamp and Niederreiter for factoring polynomials over Fq , 1993 .

[15]  Rudolf Lide,et al.  Finite fields , 1983 .

[16]  Leonard Carlitz The coefficients of the reciprocal ofJo(x) , 1955 .

[17]  Heinz-Otto Peitgen,et al.  Linear Cellular Automata, Substitutions, Hierarchical Iterated Function Systems and Attractors , 1992 .

[18]  J. H. Wahab New cases of irreducibility for Legendre polynomials. II , 1952 .

[19]  D. Jungnickel Finite fields : structure and arithmetics , 1993 .

[20]  Heinz-Otto Peitgen,et al.  Fractal Geometry and Computer Graphics , 1992 .