کسی میدونه زبان تصمیم پذیر و تصمیم ناپذیر یعنی چی ؟
ممنون میشم توضیح بدین
به مسئله ایی تصمیم پذیر می گویند که بتوان برای آن یک ماشین تورینگی طراحی کرد که رشته ورودی را بپزیرد یا رد کند یعنی بتواند متوقف شود. اگه چنین ماشینی وجود نداشته باشد به این مسئله تصمیم ناپذیر می گویند. زبان REC تصمیم پذیر است و لی زبان RE تصمیم ناپذیر است
فکر کنم تصمیم پذیر همان بازگشتی است که اینجا توضیح دادیم:
مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.
یعنی تصمیم پذیر میشه بازگشتی و تصمیم ناپذیر میشه بازگشتی برشمردنی
درست میگم؟؟
تصمیم پذیر بازگشتی میشه ولی تصمیم ناپذیر حتی امکان داره بازگشتی برشمردنی هم نشه و شاید هم بشه
بازگشتی برشمردنی همون تشخیص پذیر هست و بهش نیم تصمیم پذیر هم میگن.