OFFSET
1,3
COMMENTS
I believe a(2n) = a(n) + 2^n. I think a(7) = 28.
Benoit Jubin (Jan 24 2009) suggests replacing "monoid" in the definition by "semigroup" and remarks that it makes sense to introduce a new sequence that includes words of length 1 in the count.
EXAMPLE
a(3) = 3 because we need only xx, xy, yy to generate each of xxx, xxy, xyx, yxx, xyy, yxy, yyx, yyy.
CROSSREFS
KEYWORD
hard,more,nonn
AUTHOR
Colin Mallows, Aug 31 2002
EXTENSIONS
Edited by Andrey Zabolotskiy, Nov 08 2024
STATUS
approved