>>124,125
それも大いに間違いだと思うね
f:W→F2
で
f(w)=ab
となるものだけに限定しているのだから
W(e)aW(e)b
の元だけ考えることになるが
最後の動きで分類するということは
分母の
W(e)aW(e)bW(e)
の最後のW(e)を
abcd
で終わるものに細分しているわけだ
たとえば
x=a,b,c,d（逆の動きをy=c,d,a,bとする）
で終わるのは
W(e)yW(e)x
W(e)=W0∪{W(e)yW(e)x:x=a,b,c,d}
x=a,b,c,d
対等だから
P(W(e)yW(e)x)/P(W(e)¥W0)=1/4
となるが
W(e)bW(e)dW(e)⊂W(e)
なので
W(e)aW(e)bW(e)dW(e)b⊂W(e)aW(e)b
ではあるが
P(W(e)aW(e)b)/P(W(e)aW(e)bW(e))
>P(W(e)aW(e)bW(e)dW(e)b)/P(W(e)aW(e)bW(e))
=P(W(e)dW(e)b)/P(W(e))
=P(W(e)dW(e)b)/(P(W0)+4P(W(e)dW(e)b)
<1/4
なので
P(W(e)aW(e)b)/P(W(e)aW(e)bW(e))
と
1/4
は直接比較できない