একটি টুরিং মেশিনের জন্য

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$

আমি অবিলম্বে ভেবেছিলাম যে দুই মেশিন গ্রহণ যদি পরীক্ষণ যেহেতু আমরা জানি একই ভাষায় সত্যিই নির্ধার্য নয়, আমি মনে করি আসেন: এটা অবিলম্বে "false", কিন্তু এটা যেহেতু হতে পারে না এখানে প্রচুর টুরিং মেশিন রয়েছে যারা একই উত্তরটি গ্রহণ করে এবং বিভিন্ন কোডিং রয়েছে।$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$