Back to Search Start Over

Some Fibonacci-Related Sequences

Authors :
Cloitre, Benoit
Shallit, Jeffrey
Publication Year :
2023

Abstract

We discuss an interesting sequence defined recursively; namely, sequence A105774 from the On-Line Encyclopedia of Integer Sequences, and study some of its properties. Our main tools are Fibonacci representation, finite automata, and the Walnut theorem-prover. We also prove two new results about synchronized sequences.

Subjects

Subjects :
Mathematics - Combinatorics
Computer Science - Discrete Mathematics
Computer Science - Formal Languages and Automata Theory

Details

Database :
arXiv
Publication Type :
Report
Accession number :
edsarx.2312.11706
Document Type :
Working Paper

Tools

Authors Abstract Subjects Details