Per una macchina Turing

Mi chiedo come mai che il seguente linguaggio è in .$\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\}$

(So ​​che è in poiché c'è una risposta per questa domanda a scelta multipla, ma senza spiegazioni).$\mathrm R$

Ho subito pensato che dato che sappiamo che controllare se due macchine accettano la stessa lingua non è realmente decidibile, sono arrivato a pensare: è immediato "Falso", ma non può essere da allora ci sono molte macchine Turing che accettano la stessa risposta e hanno codici diversi.$L_{M_1} \notin \textrm{co-RE} \cup \textrm{RE}$

Grazie!

è in R semplicemente perché il numero di descrizioni macchina più piccolo di una certa descrizione macchina è finita e qualsiasi linguaggio finito è in R .$L_{M_1}$$R$$R$