26/08/14 15:04:48.26 Yt2yTjsB.net
>>101
>W(ab)=W(e)aW(e)bW(e)
>W(a)b=W(e)aW(e)b
>で
>W(e)aW(e)b
>まで共通なのでマルコフ性から
>P(W(e)aW(e)b)/P(W(e)aW(e)bW(e))=P({})/P(W(e))
>となるはず
acdb∈W(e)
もbで終わるので分子には
W(e)aW(e)bW(e)
の
W(e)aW(e)b
以外の元も入ってくるのではないかと疑う向きもあるかもしれないが大丈夫
abW(e)∋ab(acdb)=a(bacd)b∈aW(e)b
になるのでW(e)の元でbで終わるものを考える必要は無く
分子は
P(W(e)aW(e)b)
でOK