**Conjecture (A6697)**: The generating function for the number of subwords of length $n$
in the infinite word generated by $a \mapsto aab, b \mapsto b$ is
$$\sum_{n \geq 0} a_n x^n = 1 + \frac{1}{1-x} + \frac{1}{(1-x)^2}\left(\frac{1}{1-x} -
\sum_{k \geq 0} x^{2^{k+1} + k}\right).$$
Equivalently, a(n) equals the n-th coefficient of this generating function.
Actions
Submit a Proof
Have a proof attempt? Submit it for zero-trust verification.
