سلام
جواب تست زیر میشه گزینه ۳/ میشه توضیح بدین چرا L1 مستقل از متن قطعی است؟
![[تصویر: 235751_rtty.jpg]](https://img.manesht.ir/235751_rtty.jpg)
سلام. [tex]a^nb^n[/tex] مستقل از متن قطعیه و [tex]a^nb^{2n}[/tex] منظمه. اجتماعشون میشه مستقل از متن قطعی.
(۱۸ دى ۱۳۹۲ ۱۰:۱۵ ب.ظ)Jooybari نوشته شده توسط: سلام. [tex]a^nb^n[/tex] مستقل از متن قطعیه و [tex]a^nb^{2n}[/tex] منظمه. اجتماعشون میشه مستقل از متن قطعی.
خیلی ممنونم
درسته اصلا به منظم بودن قسمت دومش دقت نکرده بودم.
چرا L4 قطعی نیس؟
برای زبان L1 میشه بگید پشتش چه جوریه؟
(۱۹ دى ۱۳۹۲ ۱۱:۳۳ ق.ظ)۱-۱ نوشته شده توسط: چرا L4 قطعی نیس؟
برای زبان L1 میشه بگید پشتش چه جوریه؟
در مورد L4 چون n میتونه صفر باشه، با دیدن اولین a نمیتونیم تشخیص بدیم که متعلق به a^n b^n هست یا a^m b^2m.
در مورد L1 هم چون قسمت دوم متناهی میشه میتونیم تعداد حالاتش رو بنویسیم و برای قسمت اول هم که تعداد a و b ها باید برابر باشه به ازا هر a یک علامت در پشته push می کنیم و بعد از تموم شدن a ها به ازا هر b یه علامت از پشته pop می کنیم.
(۱۹ دى ۱۳۹۲ ۱۲:۲۷ ب.ظ)fulgent نوشته شده توسط:(19 دى ۱۳۹۲ ۱۱:۳۳ ق.ظ)۱-۱ نوشته شده توسط: چرا L4 قطعی نیس؟
برای زبان L1 میشه بگید پشتش چه جوریه؟
در مورد L4 چون n میتونه صفر باشه، با دیدن اولین a نمیتونیم تشخیص بدیم که متعلق به a^n b^n هست یا a^m b^2m.
در مورد L1 هم چون قسمت دوم متناهی میشه میتونیم تعداد حالاتش رو بنویسیم و برای قسمت اول هم که تعداد a و b ها باید برابر باشه به ازا هر a یک علامت در پشته push می کنیم و بعد از تموم شدن a ها به ازا هر b یه علامت از پشته pop می کنیم.
میشه در مورد L2 و L4 بیشتر توضیح بدین
(۱۰ بهمن ۱۳۹۲ ۱۲:۲۴ ب.ظ)zahra2012 نوشته شده توسط:(19 دى ۱۳۹۲ ۱۲:۲۷ ب.ظ)fulgent نوشته شده توسط:(19 دى ۱۳۹۲ ۱۱:۳۳ ق.ظ)۱-۱ نوشته شده توسط: چرا L4 قطعی نیس؟
برای زبان L1 میشه بگید پشتش چه جوریه؟
در مورد L4 چون n میتونه صفر باشه، با دیدن اولین a نمیتونیم تشخیص بدیم که متعلق به a^n b^n هست یا a^m b^2m.
در مورد L1 هم چون قسمت دوم متناهی میشه میتونیم تعداد حالاتش رو بنویسیم و برای قسمت اول هم که تعداد a و b ها باید برابر باشه به ازا هر a یک علامت در پشته push می کنیم و بعد از تموم شدن a ها به ازا هر b یه علامت از پشته pop می کنیم.
میشه در مورد L2 و L4 بیشتر توضیح بدین
سلام. L2 و L4 مشابه هم هستن. اگه n بزرگترمساوی ۰ باشه غیرقطعی و اگه بزرگترمساوی ۱ باشه قطعین.
(۲۳ بهمن ۱۳۹۲ ۰۴:۳۷ ب.ظ)Jooybari نوشته شده توسط:ولی جواب این دو تا رو مثل هم ندونسته چون L4 را غیر قطعی و L2 رو قطعی گرفته!!(10 بهمن ۱۳۹۲ ۱۲:۲۴ ب.ظ)zahra2012 نوشته شده توسط:(19 دى ۱۳۹۲ ۱۲:۲۷ ب.ظ)fulgent نوشته شده توسط:(19 دى ۱۳۹۲ ۱۱:۳۳ ق.ظ)۱-۱ نوشته شده توسط: چرا L4 قطعی نیس؟
برای زبان L1 میشه بگید پشتش چه جوریه؟
در مورد L4 چون n میتونه صفر باشه، با دیدن اولین a نمیتونیم تشخیص بدیم که متعلق به a^n b^n هست یا a^m b^2m.
در مورد L1 هم چون قسمت دوم متناهی میشه میتونیم تعداد حالاتش رو بنویسیم و برای قسمت اول هم که تعداد a و b ها باید برابر باشه به ازا هر a یک علامت در پشته push می کنیم و بعد از تموم شدن a ها به ازا هر b یه علامت از پشته pop می کنیم.
میشه در مورد L2 و L4 بیشتر توضیح بدین
سلام. L2 و L4 مشابه هم هستن. اگه n بزرگترمساوی ۰ باشه غیرقطعی و اگه بزرگترمساوی ۱ باشه قطعین.
بعد میشه بگین چرا اگر n یک باشه قطعی میشه خب وقتی یه دونه a بیاد بعدش که b بیاد نمیدونه متعلق به a^n b^n هست یا a^m b^2m
(۲۳ بهمن ۱۳۹۲ ۰۵:۲۴ ب.ظ)zahra2012 نوشته شده توسط:(23 بهمن ۱۳۹۲ ۰۴:۳۷ ب.ظ)Jooybari نوشته شده توسط:ولی جواب این دو تا رو مثل هم ندونسته چون L4 را غیر قطعی و L2 رو قطعی گرفته!!(10 بهمن ۱۳۹۲ ۱۲:۲۴ ب.ظ)zahra2012 نوشته شده توسط:(19 دى ۱۳۹۲ ۱۲:۲۷ ب.ظ)fulgent نوشته شده توسط:(19 دى ۱۳۹۲ ۱۱:۳۳ ق.ظ)۱-۱ نوشته شده توسط: چرا L4 قطعی نیس؟
برای زبان L1 میشه بگید پشتش چه جوریه؟
در مورد L4 چون n میتونه صفر باشه، با دیدن اولین a نمیتونیم تشخیص بدیم که متعلق به a^n b^n هست یا a^m b^2m.
در مورد L1 هم چون قسمت دوم متناهی میشه میتونیم تعداد حالاتش رو بنویسیم و برای قسمت اول هم که تعداد a و b ها باید برابر باشه به ازا هر a یک علامت در پشته push می کنیم و بعد از تموم شدن a ها به ازا هر b یه علامت از پشته pop می کنیم.
میشه در مورد L2 و L4 بیشتر توضیح بدین
سلام. L2 و L4 مشابه هم هستن. اگه n بزرگترمساوی ۰ باشه غیرقطعی و اگه بزرگترمساوی ۱ باشه قطعین.
بعد میشه بگین چرا اگر n یک باشه قطعی میشه خب وقتی یه دونه a بیاد بعدش که b بیاد نمیدونه متعلق به a^n b^n هست یا a^m b^2m
سلام. ببخشید این بی دقتیم باز کار دستم داد. حواسم نبود توی L2 از d استفاده کرده. اینجوری معین میشه. به ازای هر a یک ۱ به پشته اضافه میکنه. اگه b دید سعی در خط زدن a به شکل خواسته شده داره و اگه d دید به نسبت متفاوت خط میزنه. دیگه به توان ارتباط نداره.
(۲۳ بهمن ۱۳۹۲ ۰۷:۰۸ ب.ظ)Jooybari نوشته شده توسط:ممنون راستش منم همین بی دقتی رو کردم(23 بهمن ۱۳۹۲ ۰۵:۲۴ ب.ظ)zahra2012 نوشته شده توسط:(23 بهمن ۱۳۹۲ ۰۴:۳۷ ب.ظ)Jooybari نوشته شده توسط:ولی جواب این دو تا رو مثل هم ندونسته چون L4 را غیر قطعی و L2 رو قطعی گرفته!!(10 بهمن ۱۳۹۲ ۱۲:۲۴ ب.ظ)zahra2012 نوشته شده توسط:(19 دى ۱۳۹۲ ۱۲:۲۷ ب.ظ)fulgent نوشته شده توسط: در مورد L4 چون n میتونه صفر باشه، با دیدن اولین a نمیتونیم تشخیص بدیم که متعلق به a^n b^n هست یا a^m b^2m.
در مورد L1 هم چون قسمت دوم متناهی میشه میتونیم تعداد حالاتش رو بنویسیم و برای قسمت اول هم که تعداد a و b ها باید برابر باشه به ازا هر a یک علامت در پشته push می کنیم و بعد از تموم شدن a ها به ازا هر b یه علامت از پشته pop می کنیم.
میشه در مورد L2 و L4 بیشتر توضیح بدین
سلام. L2 و L4 مشابه هم هستن. اگه n بزرگترمساوی ۰ باشه غیرقطعی و اگه بزرگترمساوی ۱ باشه قطعین.
بعد میشه بگین چرا اگر n یک باشه قطعی میشه خب وقتی یه دونه a بیاد بعدش که b بیاد نمیدونه متعلق به a^n b^n هست یا a^m b^2m
سلام. ببخشید این بی دقتیم باز کار دستم داد. حواسم نبود توی L2 از d استفاده کرده. اینجوری معین میشه. به ازای هر a یک ۱ به پشته اضافه میکنه. اگه b دید سعی در خط زدن a به شکل خواسته شده داره و اگه d دید به نسبت متفاوت خط میزنه. دیگه به توان ارتباط نداره.
ولی در مورد L4 چرا اگر n بزگتر مساوی یک باشه قطعی میشه؟
(۲۳ بهمن ۱۳۹۲ ۰۷:۱۹ ب.ظ)zahra2012 نوشته شده توسط: ممنون راستش منم همین بی دقتی رو کردم
اون موقع حتماً b بعد از a داریم که باید تعدادشون برابر باشه. همین ماشین رو قطعی میکنه. مقدار m اهمیت نداره.
(۲۴ بهمن ۱۳۹۲ ۱۲:۵۹ ق.ظ)Jooybari نوشته شده توسط:(23 بهمن ۱۳۹۲ ۰۷:۱۹ ب.ظ)zahra2012 نوشته شده توسط: ممنون راستش منم همین بی دقتی رو کردم
اون موقع حتماً b بعد از a داریم که باید تعدادشون برابر باشه. همین ماشین رو قطعی میکنه. مقدار m اهمیت نداره.
پس این طور که من متوجه شدم اگر n بزرگتر مساوی یک باشه حالا m هر چی می خواد باشه قطعی میشه
مرسی لطف کردین اینو نمی دونستم