1,2

Benoit Jubin (Jan 24 2009) suggests replacing "monoid" in the definition by "semigroup".

I believe a(2n) = a(n) + 2^(2n). I guess a(7) = 156.

a(3)=11 because each of xxx,xxy,xyx,xyy,yxx,yxy,yyx,yyy can be obtained in one step from xx,xy,yy and it takes three multiplications to produce xx, xy, yy.

Cf. A075100, A124677 (another version).

Sequence in context: A038413 A008174 A008262 this_sequence A161975 A008052 A016438

Adjacent sequences: A075096 A075097 A075098 this_sequence A075100 A075101 A075102

hard,more,nonn

Colin Mallows (colinm(AT)research.avayalabs.com), Aug 31 2002