Some Fibonacci-Related Sequences
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913182740643840 |
|---|---|
| author | Cloitre, Benoit Shallit, Jeffrey |
| author_facet | Cloitre, Benoit Shallit, Jeffrey |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2312_11706 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Some Fibonacci-Related Sequences Cloitre, Benoit Shallit, Jeffrey Combinatorics Discrete Mathematics Formal Languages and Automata Theory 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. |
| title | Some Fibonacci-Related Sequences |
| topic | Combinatorics Discrete Mathematics Formal Languages and Automata Theory |
| url | https://arxiv.org/abs/2312.11706 |