The Thue-Morse-Pascal double sequence and similar structures (Q640882): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 01:50, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The Thue-Morse-Pascal double sequence and similar structures |
scientific article |
Statements
The Thue-Morse-Pascal double sequence and similar structures (English)
0 references
21 October 2011
0 references
A recurrent two-dimensional sequence is a function \(a: \mathbb{N}^2 \to A\) with a finite alphabet \(A\) satisfying \(a(i,j) = f(a(i,j-1),a(i-1,j-1),a(i-1,j))\) for some function \(f: A^3 \to A\), for all \(i,j \in \mathbb{N}\). The sequences \(a(k,0)\) and \(a(0,k)\) are called initial conditions. The main theorem states that if a recurrent two-dimensional sequence with initial conditions defined by linear substitutions and a two-dimensional sequence that is generated by a certain type of planar substitutions are identical over a sufficiently large initial square, then they coincide everywhere. Some examples that can be automatically proven using a computer are given. All results are stated without proof in this note.
0 references
planar substitution
0 references
recurrent sequence
0 references