ट्यूरिंग मशीन

Question

मुझे आश्चर्य है कि कैसे आता है कि निम्नलिखित भाषा $\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}$ दो मशीनों को स्वीकार करता है, तो यह है कि जाँच के बाद से हम जानते हैं कि एक ही भाषा वास्तव में डिसाइडेबल नहीं है, मुझे लगता है कि करने के लिए आया था: यह तत्काल "गलत" है, लेकिन यह बाद से नहीं किया जा सकता बहुत सारी ट्यूरिंग मशीनें हैं जो एक ही उत्तर को स्वीकार करती हैं और अलग-अलग कोडिंग करती हैं।

धन्यवाद!

Answer 1

$L_{M_1}$$R$$R$

Comments

$L_{M_1}$$f(M) = L_M$