(۱۳ آبان ۱۳۹۳ ۱۲:۳۹ ب.ظ)Jooybari نوشته شده توسط:  سلام. بخش سمت چپ زبان این رشته ها رو قبول میکنه:
[tex]\{\lambda,01001,00100001,00010000001,...\}[/tex] و یه ترتیب از چند رشته از این مجموعه بصورت پشت سر هم. برای زبان سمت راست:
[tex]\{ 011,0101,01001,010001,...,01111,01010011,010100101,...\} [/tex]
زبان از اشتراک این دو مجموعه حاصل میشه. رشته ۰۱۰۰۱ اولین رشته این زبانه. طولش ۶ خواهد بود.

بخش سمت چپ چرا لاندا λ رو قبول میکنه؟؟
فکر کنم اشتباه تایپی داشتید , ۰۱۰۰۱ طولش ۵ میشه...

در ضمن من یادم رفت در سوال ذکر کنم که کتاب مدرسان در یک مثال , گفته کوچکترین رشته متعلق به این زبان میشه: [img]
مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.
[/img]
و برابر ۱۹

توضیح هم نداده...

(۱۳ آبان ۱۳۹۳ ۱۱:۰۷ ب.ظ)zahra.s نوشته شده توسط:  بخش سمت چپ چرا لاندا λ رو قبول میکنه؟؟
فکر کنم اشتباه تایپی داشتید , ۰۱۰۰۱ طولش ۵ میشه...

در ضمن من یادم رفت در سوال ذکر کنم که کتاب مدرسان در یک مثال , گفته کوچکترین رشته متعلق به این زبان میشه: [img]
مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.
[/img]
و برابر ۱۹

توضیح هم نداده...

بله حق با شماست. طولش ۵ میشه. فرض کنید یک نفر با یه همچین اشتباهی یه تست رو اشتباه بزنه.

درمورد جواب مدرسان: در قسمت سمت راست زبان یه آکولاد هست که جلوش یه بستار ستاره داره. اگه اون آکولاد اصلاً تکرار نشه (تعداد صفر) به رشته ای که گفتم میرسه. اگه دقیقاً یک بار تکرار بشه، دو رقم ۱ به رشته با تعدادی ۰ اضافه میشه. به رشته ای که مدرسان گفته میرسیم. یعنی رشته ای که از دو رشته از زبان سمت چپ ساخته میشه. اگه دقیقاً دوبار تکرار بشه چهارتا ۱ اضافه میشه و یه رشته حاصل از ۳ رشته از زبان سمت چپ میرسیم و الی آخر. طول کوتاه ترین رشته همون ۵ میشه.

در حالت کلی رشته های متعلق به این زبان باید جزء هر دو مجموعه باشن. فقط روی حالتی از زبان سمت راست میشه گفت که با تکرار آکولاد که بستار ستاره داره رشته های جدید تولید میشه. مقدار i برای آکولاد اول باید ۲ باشه. برای آکولادهای بعدی میبایست مقدار i چهار برابر i قبلی باشه. تعداد ۰ های آخر هم باید چهار برابر i آخر باشد.

نظریه پردازان گرامی , پاسخـــــــــــــــی نبود؟؟