عندما تثبت أن اللغة قابلة للتخلص ، ماذا تفعل بفعالية؟

Question

عندما تثبت أن اللغة قابلة للتخلص ، ماذا تفعل بفعالية؟

Answer 1

إذا كنت تسأل كيف يتم ذلك ، فأنا غير متأكد ، لكن يمكنني التحقق.

في الأساس ، فإن Decidable هي اللغة التي يمكن للمرء أن بناء خوارزمية (أي آلة turing) التي ستتوقف عن أي مدخلات محدودة (مع قبول أو رفض المدخلات). غير قابلة للشفاء هي اللغة التي لا يمكن إلغاء الضعف.

http://en.wikipedia.org/wiki/Recursive_Language ... ولكن يمكن العثور على المزيد حول هذا الموضوع بسهولة. على هذا الرابط لا يوجد سوى ذكر سريع للمصطلح.

ملاحظة: عند إنشاء الخوارزمية المذكورة أعلاه ، فإنك تثبت أساسًا أن اللغة قابلة للتخلص.