User blog comment:LittlePeng9/Random Turing machines/@comment-1605058-20130411200122/@comment-1605058-20130412051844

Yes it does. We are multiplying by s in formula, and I thought I don't have to point out this is number of states