没人回答……好吧,我自己想通了.
不循环.
反证,设循环.循环节中a与b的个数比为q(有理数).则n->inf时,s(n)中a与b的个数比->q,是有理数.而根据递推关系,可以求出个数比为(1+sqrt(5))/2,为无理数,矛盾.故假设错误.