0と1からなるword(つまり有限の数列)A=(a1,...,ak),
B=(b1,...,bl)に対してその結合ABをAB=(a1,...,ak,b1,...,bl)
と定義する。さらにwordの無限列B(1)=A1,B(2)=A1A2,B(3)=A1A2A3,...
に対してU_i B(i)を無限列 A1A2A3....として定義する。

wordの列 S(0),S(1),...,T(0),T(1),...
を帰納的に次のように定義する。
(1) S(1)=0, T(0)=1,
(2)S(i+1)=S(i)S(i)T(i), T(i+1)=S(i)T(i)T(i).
このとき　S(∞)=U_i S(i)とおく。

S(∞)=001 001 011 001 001 011 001 011 011
001 001 011 001 001 011 001 011 011
001 001 011 001 011 011 001 011 011

このときS(∞)の中にはCをwordとして、...CCC..という
パターンは決して現れないと思われるがどうだろうか？
(いかにも正しそうだが証明できるのだろうか？)