>>170
>aa,ab,ad
>であるものは経路の曲がり方の違いだけであって
>マルコフ性から同じ個数になる
で
どれも原点から2歩離れているので
{aaw:w∈W}∩W2(m-1)
の個数と同じ
んで
{aaw:w∈W}∩W2m
は
aaのあとにabcd4通りのうち
aaa,aab,aad
に続くものは同じ個数で
aac
に続くものは
aから始まるW(e)∩W2(m-1)の元の個数に等しい
すなわち
aW(e)cW(e)∩W2(m-1)
の個数と等しい
aaa
に続くものは
{aaaw:w∈W}∩W2m
の個数に等しい
and so on.....