祟様、コメントありがとうございます。
　転移のルールに関しては、後半で書き加えた部分もあるので、説明の仕方が下手だった、と自分でも感じています（今さら書き直すと後半の構成も少し変わりそうなので躊躇している部分です）。もっと最初に一気に簡潔に説明すべきでした……。