|
|
A094266
|
|
LQTL Lean Quaternary Temporal Logic: a terse form of temporal logic created by assigning four descriptors such that false, becoming true, true and becoming false are represented and become a linear sequence. In a branching tree two alternative are open, change or no change. The integer sequence above is the count of the row possibilities of the four states over successive iterations.
|
|
4
|
|
|
1, 1, 0, 0, 1, 2, 1, 0, 1, 3, 3, 1, 2, 4, 6, 4, 6, 6, 10, 10, 16, 12, 16, 20, 36, 28, 28, 36, 72, 64, 56, 64, 136, 136, 120, 120, 256, 272, 256, 240, 496, 528, 528, 496, 992, 1024, 1056, 1024, 2016, 2016, 2080, 2080, 4096, 4032, 4096, 4160, 8256, 8128, 8128, 8256, 16512
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
0,6
|
|
COMMENTS
|
This is a table read by rows of length 4. Every row is formed from the previous one by the circular Pascal triangle-like rule: a, b, c, d -> d+a, a+b, b+c, c+d. Consider a labeled binary tree such that the root has label 0 and every node labeled k has children labeled k and (k+1) mod 4; the n-th row of this sequence counts nodes on the level n+1 with labels 0, 1, 2, 3, while the n-th row of A099423 counts nodes up to level n. - Andrey Zabolotskiy, Jan 06 2023
|
|
LINKS
|
|
|
FORMULA
|
Appears to satisfy a 12-degree linear recurrence. - Ralf Stephan, Dec 04 2004
|
|
MAPLE
|
Algorithm available from Robert H Barbour
|
|
CROSSREFS
|
|
|
KEYWORD
|
easy,nonn
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|