Як для машини Тьюрінга

Цікаво , як вийшло , що наступний мову в .$\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$

Я одразу подумав, що оскільки ми знаємо, що перевірка того, чи дві машини приймають одну й ту ж мову, насправді не вирішується, я подумав: чи це негайно "Неправдиво", але це не може бути, оскільки є багато машин Тьюрінга, які приймають ту саму відповідь і мають різні кодування.$L_{M_1} \notin \textrm{co-RE} \cup \textrm{RE}$

Спасибі!

в R просто томущо кількість описів машин менше заданий машинне опис звичайно і будь-який кінцевий мову в R .$L_{M_1}$$R$$R$