OFFSET
1,1
COMMENTS
There is an 8-state Fibonacci automaton that accepts the Zeckendorf representation of n if and only if n belongs to the sequence.
EXAMPLE
6 is not in the sequence, since if it were, 6+2 = 8, a Fibonacci number.
CROSSREFS
KEYWORD
nonn
AUTHOR
Jeffrey Shallit, Nov 20 2023
STATUS
approved