尻尾同値類の決定番号はd=∞もあるんだ。しかもこれが殆どの場合。