18 دى 1392, 09:55 ب.ظ
18 دى 1392, 10:15 ب.ظ
سلام. [tex]a^nb^n[/tex] مستقل از متن قطعیه و [tex]a^nb^{2n}[/tex] منظمه. اجتماعشون میشه مستقل از متن قطعی.
18 دى 1392, 10:18 ب.ظ
(18 دى 1392 10:15 ب.ظ)Jooybari نوشته شده توسط: [ -> ]سلام. [tex]a^nb^n[/tex] مستقل از متن قطعیه و [tex]a^nb^{2n}[/tex] منظمه. اجتماعشون میشه مستقل از متن قطعی.
خیلی ممنونم
درسته اصلا به منظم بودن قسمت دومش دقت نکرده بودم.
19 دى 1392, 11:33 ق.ظ
چرا L4 قطعی نیس؟
برای زبان L1 میشه بگید پشتش چه جوریه؟
برای زبان L1 میشه بگید پشتش چه جوریه؟
19 دى 1392, 12:27 ب.ظ
(19 دى 1392 11:33 ق.ظ)1-1 نوشته شده توسط: [ -> ]چرا L4 قطعی نیس؟
برای زبان L1 میشه بگید پشتش چه جوریه؟
در مورد L4 چون n میتونه صفر باشه، با دیدن اولین a نمیتونیم تشخیص بدیم که متعلق به a^n b^n هست یا a^m b^2m.
در مورد L1 هم چون قسمت دوم متناهی میشه میتونیم تعداد حالاتش رو بنویسیم و برای قسمت اول هم که تعداد a و b ها باید برابر باشه به ازا هر a یک علامت در پشته push می کنیم و بعد از تموم شدن a ها به ازا هر b یه علامت از پشته pop می کنیم.
10 بهمن 1392, 12:24 ب.ظ
(19 دى 1392 12:27 ب.ظ)fulgent نوشته شده توسط: [ -> ](19 دى 1392 11:33 ق.ظ)1-1 نوشته شده توسط: [ -> ]چرا L4 قطعی نیس؟
برای زبان L1 میشه بگید پشتش چه جوریه؟
در مورد L4 چون n میتونه صفر باشه، با دیدن اولین a نمیتونیم تشخیص بدیم که متعلق به a^n b^n هست یا a^m b^2m.
در مورد L1 هم چون قسمت دوم متناهی میشه میتونیم تعداد حالاتش رو بنویسیم و برای قسمت اول هم که تعداد a و b ها باید برابر باشه به ازا هر a یک علامت در پشته push می کنیم و بعد از تموم شدن a ها به ازا هر b یه علامت از پشته pop می کنیم.
میشه در مورد L2 و L4 بیشتر توضیح بدین
23 بهمن 1392, 04:37 ب.ظ
(10 بهمن 1392 12:24 ب.ظ)zahra2012 نوشته شده توسط: [ -> ](19 دى 1392 12:27 ب.ظ)fulgent نوشته شده توسط: [ -> ](19 دى 1392 11:33 ق.ظ)1-1 نوشته شده توسط: [ -> ]چرا 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 بزرگترمساوی 0 باشه غیرقطعی و اگه بزرگترمساوی 1 باشه قطعین.
23 بهمن 1392, 05:24 ب.ظ
(23 بهمن 1392 04:37 ب.ظ)Jooybari نوشته شده توسط: [ -> ]ولی جواب این دو تا رو مثل هم ندونسته چون L4 را غیر قطعی و L2 رو قطعی گرفته!!(10 بهمن 1392 12:24 ب.ظ)zahra2012 نوشته شده توسط: [ -> ](19 دى 1392 12:27 ب.ظ)fulgent نوشته شده توسط: [ -> ](19 دى 1392 11:33 ق.ظ)1-1 نوشته شده توسط: [ -> ]چرا 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
23 بهمن 1392, 07:08 ب.ظ
(23 بهمن 1392 05:24 ب.ظ)zahra2012 نوشته شده توسط: [ -> ](23 بهمن 1392 04:37 ب.ظ)Jooybari نوشته شده توسط: [ -> ]ولی جواب این دو تا رو مثل هم ندونسته چون L4 را غیر قطعی و L2 رو قطعی گرفته!!(10 بهمن 1392 12:24 ب.ظ)zahra2012 نوشته شده توسط: [ -> ](19 دى 1392 12:27 ب.ظ)fulgent نوشته شده توسط: [ -> ](19 دى 1392 11:33 ق.ظ)1-1 نوشته شده توسط: [ -> ]چرا 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 یک 1 به پشته اضافه میکنه. اگه b دید سعی در خط زدن a به شکل خواسته شده داره و اگه d دید به نسبت متفاوت خط میزنه. دیگه به توان ارتباط نداره.
23 بهمن 1392, 07:19 ب.ظ
(23 بهمن 1392 07:08 ب.ظ)Jooybari نوشته شده توسط: [ -> ]ممنون راستش منم همین بی دقتی رو کردم ولی در مورد L4 چرا اگر n بزگتر مساوی یک باشه قطعی میشه؟(23 بهمن 1392 05:24 ب.ظ)zahra2012 نوشته شده توسط: [ -> ](23 بهمن 1392 04:37 ب.ظ)Jooybari نوشته شده توسط: [ -> ]ولی جواب این دو تا رو مثل هم ندونسته چون L4 را غیر قطعی و L2 رو قطعی گرفته!!(10 بهمن 1392 12:24 ب.ظ)zahra2012 نوشته شده توسط: [ -> ](19 دى 1392 12:27 ب.ظ)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 دید به نسبت متفاوت خط میزنه. دیگه به توان ارتباط نداره.
24 بهمن 1392, 12:59 ق.ظ
(23 بهمن 1392 07:19 ب.ظ)zahra2012 نوشته شده توسط: [ -> ]ممنون راستش منم همین بی دقتی رو کردم ولی در مورد L4 چرا اگر n بزگتر مساوی یک باشه قطعی میشه؟
اون موقع حتماً b بعد از a داریم که باید تعدادشون برابر باشه. همین ماشین رو قطعی میکنه. مقدار m اهمیت نداره.
24 بهمن 1392, 01:39 ق.ظ
(24 بهمن 1392 12:59 ق.ظ)Jooybari نوشته شده توسط: [ -> ](23 بهمن 1392 07:19 ب.ظ)zahra2012 نوشته شده توسط: [ -> ]ممنون راستش منم همین بی دقتی رو کردم ولی در مورد L4 چرا اگر n بزگتر مساوی یک باشه قطعی میشه؟
اون موقع حتماً b بعد از a داریم که باید تعدادشون برابر باشه. همین ماشین رو قطعی میکنه. مقدار m اهمیت نداره.
پس این طور که من متوجه شدم اگر n بزرگتر مساوی یک باشه حالا m هر چی می خواد باشه قطعی میشه
مرسی لطف کردین اینو نمی دونستم