هي المشكلة التي تحدد كلما عدت كلمة $ \ in $ l (m) حتى لا؟

Question

بالنظر إلى آلة تورينج م على الأبجدية {m، e، b، r}، طلب مني تحديد ما إذا كان العضو $ \ in $ l (m). يجب أن تدرك أن م ليس آلة واحدة محددة ويمكن أن يكون أي آلة تورينج مع نفس الأبجدية. هدفي هو تحديد كلما كانت هذه المشكلة رائعة أم لا.

فكرتي هي استخدام خرائط الاندلال.كان الهدف هو معرفة ما إذا كان بإمكاننا ترجمة جميع المشاكل من $ a_ {tm} $ والتي من المعروف أنها غير قابلة للتكرار في مشكلتنا الحالية.هذا من شأنه أن يجعل مشكلتنا الحالية غير قابلة للتنفيذ حسب العدوى.ومع ذلك، أنا تكافح في القيام بذلك لأنني لست متأكدا مما إذا كان ذلك ممكنا. $ a_ {tm} $ يتم تعريفها على أنها آلة Turing M التي تقبل Word W.

أي مساعدة في الحصول على غير محدود سيكون موضع تقدير.

Answer 1

سأحاول ذلك مثل هذا:

الحد من $ a_ {tm} $ : معطى TM $ $ und word $ W $ .

استخدم ذلك لتحديد جهاز جديد $ A '$ يعمل على النحو التالي:

1. تشغيل مثل $ $ على الإدخال $ W $
2. إذا $ $ يرفض $ W $ ، انتقل إلى حلقة أبدية.
3. إذا كان $ A $ يقبل، حذف محتوى الفرقة وكتابة "عضو"