为什么把 $T^\infty$ 丢到自动机上面去匹配，在足够远处必然会形成长度 $m$ 的周期

在上面这个成立的前提下，又为什么长度为 $m$ 的环与合法方案一一对应