チューリングマシン

どうして次の言語があるのでしょうか。$\mathrm R$

$L_{M_1}=\Bigl\{\langle M_2\rangle \;\Big|\;\; M_2 \text{ is a TM, and } L(M_1)=L(M_2), \text{ and } |\langle M_1\rangle| > | \langle M_2 \rangle| \Bigr\}$

（この多肢選択式の質問には答えがありますが、説明はありませんので、あることを知っています）。$\mathrm R$

私はすぐにと思っ 我々は2台のマシンが同じ言語を受け入れるかどうかをチェックすることは、実際に決定可能ではないことを知っているので、私は考えるようになった：それは「偽」即時ですが、それはので、することはできません同じ答えを受け入れ、異なるコーディングを持つチューリングマシンがたくさんあります。$L_{M_1} \notin \textrm{co-RE} \cup \textrm{RE}$

ありがとう！

が Rにあるのは、特定のマシン記述よりも少ないマシン記述の数が有限であり、有限言語が Rにあるためです。$L_{M_1}$$R$$R$