もしかして、ロベスピエール君は、決定番号を、
「尻尾同値類の細分のための追加引数」と思ってる？

つまり、列sについて、Tail(s)をsの尻尾同値類とすると
sのd番目以降の尻尾が一致する尻尾同値類Tail(s,d)が考えられると

でも箱入り無数目には、そんなこと書いてないんだけどね

任意の尻尾同値類についてその代表が存在するから
任意の列sは、自分の所属する尻尾同値類の代表r(s)と比較して
その一致箇所の先頭が求まるから、それを決定番号d(s)とする
といってるだけなんだけど、

もしかしてロベスピエール君、そこ読めてない？
決定番号は回答者が勝手に与えてると思ってる？
そんなの意味ないでしょ（笑）