[go: up one dir, main page]

login
A099423
Lean quaternary temporal logic [LQTL] cumulative column frequencies of LQTL logic in A094266.
3
1, 0, 0, 0, 2, 1, 0, 0, 3, 3, 1, 0, 4, 6, 4, 1, 6, 10, 10, 5, 12, 16, 20, 15, 28, 28, 36, 35, 64, 56, 64, 71, 136, 120, 120, 135, 272, 256, 240, 255, 528, 528, 496, 495, 1024, 1056, 1024, 991, 2016, 2080, 2080, 2015, 4032, 4096, 4160, 4095, 8128, 8128, 8256, 8255
OFFSET
0,5
COMMENTS
Appears to satisfy the recurrence: a(n) = 5*a(n-4) - 10*a(n-8) + 10*a(n-12) - 4*a(n-16). - Chai Wah Wu, May 25 2016
This is a table read by rows of length 4. Every row is formed from the corresponding row of the table A094266 according to the rule: a, b, c, d -> b, c, d, a-1. - Andrey Zabolotskiy, Jan 06 2023
LINKS
CROSSREFS
Cf. A094266 (first differences row-wise).
Sequence in context: A319082 A034365 A103778 * A221515 A221984 A071920
KEYWORD
easy,nonn
AUTHOR
Robert H Barbour, Nov 17 2004; corrected Jun 10 2005
STATUS
approved