W(e)∩Wnの数え上げなんだけど
W(e)∩W6の数え上げの時にパターンがちょっと見えた感じがした
aから始まるものを数え上げて4倍は直ぐ判るが
その次にabcd4パターンで
ac
は原点に戻るので
W(e)∩W2(m-1)
と同じ数だけある
aa,ab,ad
であるものは経路の曲がり方の違いだけであって
マルコフ性から同じ個数になる