Untuk Mesin Turing

Aku bertanya-tanya bagaimana datang bahwa bahasa berikut ini di .$\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\}$

(Saya tahu itu ada di karena ada jawaban untuk pertanyaan pilihan ganda ini, tetapi tanpa penjelasan).$\mathrm R$

Saya langsung berpikir bahwa karena kita tahu bahwa memeriksa apakah dua mesin menerima bahasa yang sama benar-benar tidak dapat diputuskan, saya berpikir: apakah ini langsung "Salah", tetapi tidak mungkin karena ada banyak mesin Turing yang menerima jawaban yang sama dan memiliki kode yang berbeda.$L_{M_1} \notin \textrm{co-RE} \cup \textrm{RE}$

Terima kasih!

adalah di R hanya karena jumlah deskripsi mesin lebih kecil dari deskripsi mesin yang diberikan adalah terbatas dan bahasa yang terbatas di R .$L_{M_1}$$R$$R$