Linear recurrent double sequences with constant border in \(M_2(\mathbb F_2)\) are classified according to their geometric content (Q527570)

Summary: The author used the automatic proof procedure introduced in [the author, Fractals 18, No. 1, 65--73 (2010; Zbl 1193.28010)] and verified that the 4096 homomorphic recurrent double sequences with constant borders defined over Klein's Vierergruppe \(\mathbb K\) and the 4096 linear recurrent double sequences with constant border defined over the matrix ring \(M_2(\mathbb F_2)\) can be also produced by systems of substitutions with finitely many rules. This permits the definition of a sound notion of geometric content for most of these sequences, more exactly for those which are not primitive. We group the 4096 many linear recurrent double sequences with constant border \(I\) over the ring \(M_2(\mathbb F_2)\) in 90 geometric types. The classification over Klein's Vierergruppe Kis not explicitly displayed and consists of the same geometric types like for \(M_2(\mathbb F_2)\), but contains more exceptions. There are a lot of cases of unsymmetric double sequences converging to symmetric geometric contents. We display also geometric types occurring both in a monochromatic and in a dichromatic version.