باسلام
منظور از تصمیم پذیری چیست؟
لطفا سوال را مفصل تشریح کنید!
![[تصویر: 328723_se827p4tel59p5ixqqyp.png]](https://img.manesht.ir/328723_se827p4tel59p5ixqqyp.png)
زبان های تصمیم پذیر همان زبان های بازگشتی هستند. decider or recursive
زبانی تصمیم پذیره که بتوان یک ماشین تورینک پذیرنده برای آن طراحی کرد که در هر صورت برروی رشته ورودی متوقف بشه، اگر رشته متعلق به زبان باشه مثلا جواب yes و اگه رشته عضو زبان نبود no . نکته مهم اینه که با هر ورودی متوقف میشه و در حلقه بی نهایت گیر نمیکنه.
در مقابل تشخیص دهنده ها هستند که اون هم تورینگ دارن و در حالتی که رشته متعلق به زبان باشه ، اطلاع میده و متوقف میشه ولی اگه رشته متعلق به زبان بود، تضمینی برای توقف نیست، ممکنه در حلقه بینهایت بیفتیم.
شاید اینا خیلی ربطی به تست نداره ولی مهمه، توی این چندساله هم ازش زیاد تست اومده.
مورد الف منظور اینه که آیا الگوریتم وجود داره که تشخصی بدیم یه زبان حساس به متن تهی هست یا نه ، که فکر میکنم موجوده و تصمیم پذیر.
زبان های حساس به متن تحت اشتراک بسته هستند.
گزینه الف جواب میشه؟؟؟