(۱۸ دى ۱۳۹۲ ۱۰:۱۵ ب.ظ)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 نوشته شده توسط:  

(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 بزرگترمساوی ۰ باشه غیرقطعی و اگه بزرگترمساوی ۱ باشه قطعین.

ولی جواب این دو تا رو مثل هم ندونسته چون L4 را غیر قطعی و L2 رو قطعی گرفته!!
بعد میشه بگین چرا اگر n یک باشه قطعی میشه خب وقتی یه دونه a بیاد بعدش که b بیاد نمیدونه متعلق به a^n b^n هست یا a^m b^2m

(۲۳ بهمن ۱۳۹۲ ۰۵:۲۴ ب.ظ)zahra2012 نوشته شده توسط:  

(23 بهمن ۱۳۹۲ ۰۴:۳۷ ب.ظ)Jooybari نوشته شده توسط:  

(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 بزرگترمساوی ۰ باشه غیرقطعی و اگه بزرگترمساوی ۱ باشه قطعین.

ولی جواب این دو تا رو مثل هم ندونسته چون L4 را غیر قطعی و L2 رو قطعی گرفته!!
بعد میشه بگین چرا اگر n یک باشه قطعی میشه خب وقتی یه دونه a بیاد بعدش که b بیاد نمیدونه متعلق به a^n b^n هست یا a^m b^2m

سلام. ببخشید این بی دقتیم باز کار دستم داد. حواسم نبود توی L2 از d استفاده کرده. اینجوری معین میشه. به ازای هر a یک ۱ به پشته اضافه میکنه. اگه b دید سعی در خط زدن a به شکل خواسته شده داره و اگه d دید به نسبت متفاوت خط میزنه. دیگه به توان ارتباط نداره.

(۲۳ بهمن ۱۳۹۲ ۰۷:۰۸ ب.ظ)Jooybari نوشته شده توسط:  

(23 بهمن ۱۳۹۲ ۰۵:۲۴ ب.ظ)zahra2012 نوشته شده توسط:  

(23 بهمن ۱۳۹۲ ۰۴:۳۷ ب.ظ)Jooybari نوشته شده توسط:  

(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 بزرگترمساوی ۰ باشه غیرقطعی و اگه بزرگترمساوی ۱ باشه قطعین.

ولی جواب این دو تا رو مثل هم ندونسته چون L4 را غیر قطعی و L2 رو قطعی گرفته!!
بعد میشه بگین چرا اگر n یک باشه قطعی میشه خب وقتی یه دونه a بیاد بعدش که b بیاد نمیدونه متعلق به a^n b^n هست یا a^m b^2m

سلام. ببخشید این بی دقتیم باز کار دستم داد. حواسم نبود توی L2 از d استفاده کرده. اینجوری معین میشه. به ازای هر a یک ۱ به پشته اضافه میکنه. اگه b دید سعی در خط زدن a به شکل خواسته شده داره و اگه d دید به نسبت متفاوت خط میزنه. دیگه به توان ارتباط نداره.

ممنون راستش منم همین بی دقتی رو کردم ولی در مورد L4 چرا اگر n بزگتر مساوی یک باشه قطعی میشه؟

(۲۳ بهمن ۱۳۹۲ ۰۷:۱۹ ب.ظ)zahra2012 نوشته شده توسط:  ممنون راستش منم همین بی دقتی رو کردم ولی در مورد L4 چرا اگر n بزگتر مساوی یک باشه قطعی میشه؟

اون موقع حتماً b بعد از a داریم که باید تعدادشون برابر باشه. همین ماشین رو قطعی میکنه. مقدار m اهمیت نداره.

(۲۴ بهمن ۱۳۹۲ ۱۲:۵۹ ق.ظ)Jooybari نوشته شده توسط:  

(23 بهمن ۱۳۹۲ ۰۷:۱۹ ب.ظ)zahra2012 نوشته شده توسط:  ممنون راستش منم همین بی دقتی رو کردم ولی در مورد L4 چرا اگر n بزگتر مساوی یک باشه قطعی میشه؟

اون موقع حتماً b بعد از a داریم که باید تعدادشون برابر باشه. همین ماشین رو قطعی میکنه. مقدار m اهمیت نداره.

پس این طور که من متوجه شدم اگر n بزرگتر مساوی یک باشه حالا m هر چی می خواد باشه قطعی میشه
مرسی لطف کردین اینو نمی دونستم