OFFSET
0,1
COMMENTS
LINKS
Jeffrey Shallit and Anatoly Zavyalov, Transduction of Automatic Sequences and Applications, arXiv:2303.15203 [cs.FL], 2023, see p. 21.
FORMULA
a(2^n) = 2^(n+3) (Proof in Shallit and Zavyalov). - Anatoly Zavyalov, Mar 30 2023
CROSSREFS
KEYWORD
nonn
AUTHOR
Jeffrey Shallit, Dec 22 2022
EXTENSIONS
More terms from Anatoly Zavyalov, Mar 30 2023
STATUS
approved