(۱۰ بهمن ۱۳۹۳ ۰۵:۰۸ ب.ظ)software94 نوشته شده توسط: صد درصد اشتباه مجموعه زبانهای صوری شمارا هستن.میتونی تو لینز هم ببینی.اما متمم Rچون ممکنه بیفته بیرون مجموعه زبانهای صوری دیگه شمارا نیست.یعنی زبانهای تشخیص پذیر یا R نسبت به متمم بسته نیستن.
سلام دوست عزیز software94
به نظر شما مفهوم R و RE رو جابه‌جا متوجه شده‌اید!
R یا بازگشتی، زیرمجموعه‌ی RE یا به‌طور بازگشتی شمارا می‌باشد.
چون مکمل R هم بازگشتی است، می‌توان ماشین تورینگی طراحی کرد که هم عضویت و هم عدم عضویت هر رشته از زبان را اعلام کند (یعنی تصمیم گیری و توقف).
در مورد جواب سؤال اصلی هم دقت کنید که:
فهرست پذیر و شمارا به یک معنی هستند!
با این توصیفات مشخصه که هر دو شمارا هستند.
