زمان کنونی: ۰۳ آذر ۱۴۰۳, ۰۱:۰۳ ب.ظ مهمان گرامی به انجمن مانشت خوش آمدید. برای استفاده از تمامی امکانات انجمن می‌توانید عضو شوید.
گزینه‌های شما (ورودثبت نام)

تصمیم پذیر و تصمیم نا پذیر

ارسال:
  

homa پرسیده:

تصمیم پذیر و تصمیم نا پذیر

کسی میدونه زبان تصمیم پذیر و تصمیم ناپذیر یعنی چی ؟
ممنون میشم توضیح بدین

۰
ارسال:
  

saeidm پاسخ داده:

تصمیم پذیر و تصمیم نا پذیر

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

۰
ارسال:
  

ف.ش پاسخ داده:

تصمیم پذیر و تصمیم نا پذیر

فکر کنم تصمیم پذیر همان بازگشتی است که اینجا توضیح دادیم:

مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.

۰
ارسال:
  

homa پاسخ داده:

تصمیم پذیر و تصمیم نا پذیر

یعنی تصمیم پذیر میشه بازگشتی و تصمیم ناپذیر میشه بازگشتی برشمردنی
درست میگم؟؟

۰
ارسال:
  

hatami پاسخ داده:

تصمیم پذیر و تصمیم نا پذیر

تصمیم پذیر بازگشتی میشه ولی تصمیم ناپذیر حتی امکان داره بازگشتی برشمردنی هم نشه و شاید هم بشه

۰
ارسال:
  

ف.ش پاسخ داده:

تصمیم پذیر و تصمیم نا پذیر

بازگشتی برشمردنی همون تشخیص پذیر هست و بهش نیم تصمیم پذیر هم میگن.



موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  تصمیم گیری مهم درباره مکان سرور سایت admin ۴ ۴,۸۶۶ ۲۸ دى ۱۴۰۰ ۰۳:۵۹ ب.ظ
آخرین ارسال: mahsa3323
  پذیرش با عنوان قرآن کاوی رایانشی s-nowrozi ۴۷ ۳۴,۵۰۹ ۱۰ دى ۱۳۹۹ ۱۱:۲۷ ق.ظ
آخرین ارسال: oloom-ensani
  رشته علوم تصمیم و مهندسی دانش دانشگاه تهران علیصا ۰ ۲,۷۸۴ ۱۸ مهر ۱۳۹۸ ۰۱:۰۳ ب.ظ
آخرین ارسال: علیصا
  درخت دسترس پذیری برای شبکه های پتری αɾια ۱ ۲,۳۹۹ ۰۹ تیر ۱۳۹۸ ۰۶:۳۰ ب.ظ
آخرین ارسال: αɾια
  نگاشت شرکت پذیر مجموعه ای لطفا کمک Sanazzz ۳ ۴,۱۴۳ ۰۲ اسفند ۱۳۹۷ ۰۳:۲۷ ب.ظ
آخرین ارسال: Sanazzz
  آیا امکان ارسال مجدد ایمیل مربوط به پذیرش مقاله در یک ژورنال isi وجود دارد؟ Autumngirl ۴ ۴,۲۳۸ ۱۱ مهر ۱۳۹۷ ۰۱:۲۱ ب.ظ
آخرین ارسال: Autumngirl
  پذیرش در دکتری آزاد و عدم تمایل به ثبت نام mrezaparchebaf ۱ ۲,۵۲۸ ۰۲ اسفند ۱۳۹۶ ۰۱:۱۳ ب.ظ
آخرین ارسال: αɾια
  تشخیص توالی پذیر نمایی (VSS) jumper ۰ ۱,۵۷۹ ۲۴ دى ۱۳۹۶ ۱۰:۱۹ ق.ظ
آخرین ارسال: jumper
  پیچیدگی زمانی ماشین های پذیرنده و زبانها Sepideh96 ۰ ۱,۴۴۸ ۲۸ آذر ۱۳۹۶ ۰۳:۳۷ ق.ظ
آخرین ارسال: Sepideh96
  رتبه ۴۶ ایتی پذیرش معجزه اسا در امیرکبیر :) shirin0101 ۳۲ ۲۰,۱۹۵ ۱۶ مرداد ۱۳۹۶ ۰۵:۱۵ ب.ظ
آخرین ارسال: Rehe1994

پرش به انجمن:

Can I see some ID?

به خاطر سپاری رمز Cancel

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close

رمزت رو فراموش کردی؟

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. close