উত্তর:
এটি এমন কিছু বিষয় যা অনেক শিক্ষার্থীকে বিভ্রান্ত করে। এখানে বক্তব্যটি হ'ল অন্য ভাষার উপসেট হওয়া তাদের গণনার অসুবিধা সম্পর্কে খুব বেশি বোঝায় না। আপনি সর্বদা তুচ্ছ ভাষা বিবেচনা করতে পারেন এবং Σ * এবং অন্য কোন ভাষা তাদের মধ্যে সেট অন্তর্ভুক্তি wrt হয়।
সুতরাং কেবল জেনে রাখা যে কোনও ভাষা সহজেই গণনা করা সহজ ভাষাতে অন্তর্ভুক্ত থাকে বা এতে অন্তর্ভুক্ত থাকে তার গণনা করার অসুবিধা সম্পর্কে কিছু বলতে পারে না।
যখন একটি টিউরিং-স্বীকৃত ভাষা গ্রহণযোগ্য না হয় , তখন বোঝা যায় যে এটি সহ-টিউরিং-স্বীকৃতিযোগ্য নয় (অন্য কথায়: এক্স গ স্বীকৃত নয়)। যেহেতু এক্স গ একটি পুরোপুরি বৈধ উপসেট Σ * , এই সমর্থন ঘটনা এই যে কোনো ভাষার জন্য একটি ⊆ বি যেখানে বি টুরিং-স্বীকৃত হয় একটি খুব ভাল নাও হতে পারে।
আপনার আলোচনা আমাকে সফলভাবে বিভ্রান্ত করেছে :(
"এ টিউরিং-চেনা যায় না?"
আমি বোধ করি A সবসময় টিউরিং-স্বীকৃত । এখানে আমার চিন্তাভাবনা,
যেহেতু বি টিউরিং স্বীকৃতিযোগ্য => কিছু টিএম রয়েছে যা ভাষার সমস্ত শব্দকে গ্রহণ করে B => একটি টিএম আছে যা গ্রহণ করে (ভাষার সমস্ত শব্দ এ + কিছু অন্যান্য শব্দ) => একটি টিএম রয়েছে যা সমস্ত শব্দকে গ্রহণ করে ভাষার A => A টিউরিং স্বীকৃতিযোগ্য।
এটা কি ভুল? A টি নন-টিআরএল থাকাকালীন বি বি টি আরএল থাকাকালীন এমন কোনও মামলা থাকতে পারে। দয়া করে সাহায্য করুন