سلام دوستان
آیا رشته هایی که توسط این عبارات توصیف میشود یکسان است ؟
(*a* b) = این عبارت نیز تمام رشته های متشکل از a و b رو توصیف می کند ؟ مثلا ba نیز توصیف میشود ؟
(۲۷ شهریور ۱۳۹۲ ۰۹:۲۸ ب.ظ)reza6966 نوشته شده توسط: سلام دوستان
آیا رشته هایی که توسط این عبارات توصیف میشود یکسان است ؟
(*a* b) = این عبارت نیز تمام رشته های متشکل از a و b رو توصیف می کند ؟ مثلا ba نیز توصیف میشود ؟
خیر برابر نیستند
(*a*b):ابتدا به تعداد دلخواه از a و سپس به تعداد دلخواه از b
*(a+b):تمام رشته های متشکل از a و b
جواب سواله دومتونم خیر است
و سوال آخر هم خیر است یعنی ba توصیف نمیشه
(۲۷ شهریور ۱۳۹۲ ۰۹:۳۶ ب.ظ)svk7 نوشته شده توسط:(27 شهریور ۱۳۹۲ ۰۹:۲۸ ب.ظ)reza6966 نوشته شده توسط: سلام دوستان
آیا رشته هایی که توسط این عبارات توصیف میشود یکسان است ؟
(*a* b) = این عبارت نیز تمام رشته های متشکل از a و b رو توصیف می کند ؟ مثلا ba نیز توصیف میشود ؟
خیر برابر نیستند
(*a*b):ابتدا به تعداد دلخواه از a و سپس به تعداد دلخواه از b
*(a+b):تمام رشته های متشکل از a و b
جواب سواله دومتونم خیر است
و سوال آخر هم خیر است یعنی ba توصیف نمیشه
ممنون , داشتم جزوه کارگهی رو می خوندم که توی صفحه ۳۱ این ها رو با هم برابر گرفته
با تغییر عبارت منظم به این (*a* + b) برابر خواهند شد ؟
در صورت [tex](a^{*} b^{*})[/tex] هم برابر نخواهند بود.
این عبارت منظم یا تعدادی (صفر یا ...) a و یا تعدادی (صفر یا ...) b را میدهد.
یعنی هیچ ترکیبی از aوb رو به ما نمیده.
اما [tex](a b)^{*}[/tex] هر ترکیبی از aوb رو به ما میده (حتی میشه عباراتی صرفا a یا صرفا b رو بگیریم).
وجه تشابه این دوتا شاید بشه گفت هردو لامبدا رو میپذیرند!
(۲۷ شهریور ۱۳۹۲ ۱۰:۲۰ ب.ظ)azad_ahmadi نوشته شده توسط: در صورت [tex](a^{*} b^{*})[/tex] هم برابر نخواهند بود.
این عبارت منظم یا تعدادی (صفر یا ...) a و یا تعدادی (صفر یا ...) b را میدهد.
یعنی هیچ ترکیبی از aوb رو به ما نمیده.
اما [tex](a b)^{*}[/tex] هر ترکیبی از aوb رو به ما میده (حتی میشه عباراتی صرفا a یا صرفا b رو بگیریم).
وجه تشابه این دوتا شاید بشه گفت هردو لامبدا رو میپذیرند!
استاد عزیز منم ی سوال بپرسم؟
*(ab) یعنی تولید جملاتی مثل:
لاندا-ab-abab-ababab و...
حالا برای *(a+b) نمیشه فقط جمله زیر رو گفت؟(البته می دونم ک نمیشه ، میخام تحلیل شما رو بدونم.)
تعداد۰ یا بشتر a یا تعداد ۰یا بیشتر b.
ب عبارتی تولید همچین رشته هایی:a-aa-aaa- یا b-bb-bbb
خلاصه کلام اینکه در مورد + توضیح بدید ممنون میشم
(۲۸ شهریور ۱۳۹۲ ۰۱:۲۷ ق.ظ)aem4949 نوشته شده توسط:(27 شهریور ۱۳۹۲ ۱۰:۲۰ ب.ظ)azad_ahmadi نوشته شده توسط: در صورت [tex](a^{*} b^{*})[/tex] هم برابر نخواهند بود.
این عبارت منظم یا تعدادی (صفر یا ...) a و یا تعدادی (صفر یا ...) b را میدهد.
یعنی هیچ ترکیبی از aوb رو به ما نمیده.
اما [tex](a b)^{*}[/tex] هر ترکیبی از aوb رو به ما میده (حتی میشه عباراتی صرفا a یا صرفا b رو بگیریم).
وجه تشابه این دوتا شاید بشه گفت هردو لامبدا رو میپذیرند!
استاد عزیز منم ی سوال بپرسم؟
*(ab) یعنی تولید جملاتی مثل:
لاندا-ab-abab-ababab و...
حالا برای *(a+b) نمیشه فقط جمله زیر رو گفت؟(البته می دونم ک نمیشه ، میخام تحلیل شما رو بدونم.)
تعداد۰ یا بشتر a یا تعداد ۰یا بیشتر b.
ب عبارتی تولید همچین رشته هایی:a-aa-aaa- یا b-bb-bbb
خلاصه کلام اینکه در مورد + توضیح بدید ممنون میشم
*(a+b) هر ترکیبی از a و b رو شامل میشه و لامبدا
مثلا : a , b , aa , bb , ab , ba و لامبدا و ...
*{a,b}
تولید همچین رشته هایی که گفتید این میشه : (*aa* + bb)
(۲۸ شهریور ۱۳۹۲ ۰۱:۲۷ ق.ظ)aem4949 نوشته شده توسط: -------------قسمت اول---------------در مورد قسمت اول درست می فرمایید، البته فراموش نشه که لامبدا هم پذیرفته میشه.
*(ab) یعنی تولید جملاتی مثل:
لاندا-ab-abab-ababab و...
----------------------------------------
-----------قسمت دوم----------------
حالا برای *(a+b) نمیشه فقط جمله زیر رو گفت؟(البته می دونم ک نمیشه ، میخام تحلیل شما رو بدونم.)
تعداد۰ یا بشتر a یا تعداد ۰یا بیشتر b.
ب عبارتی تولید همچین رشته هایی:a-aa-aaa- یا b-bb-bbb
خلاصه کلام اینکه در مورد + توضیح بدید ممنون میشم
---------------------------------------
در مورد قسمت دوم سوالتون باید بگم که "تعداد۰ یا بشتر a یا تعداد ۰یا بیشتر b"، درسته اما علاوه بر این میشه ترکیب اینا رو هم درنظر گرفت. مثلا رشته های زیر توسط این عبارت منظم بوجود میاد:
رشته تهی یا ""
a
aaa
aaaaaa...
abbbbab
bbbbaaaba
b
ba
...
هر ترکیبی از aوb میشه با این عبارت منظم نشان داد.
اگه توضیحات بیشتری نیاز هست، لطف کنید یه تاپیک ایجاد کنید سوالتون رو بپرسید پاسخ میدیم
ممنون.
من هنوز ذهنم درگیر هست که چرا در جزوه دکتر کارگهی این عبارات منظم رو معادل گرفته
(*a* b) و *(a+b) و (?a? b)
فرض کنیم اشتباه نویسنده جزوه باشه , پس چی می تونه درستش باشه ؟
(۲۸ شهریور ۱۳۹۲ ۰۲:۲۸ ق.ظ)reza6966 نوشته شده توسط: من هنوز ذهنم درگیر هست که چرا در جزوه دکتر کارگهی این عبارات منظم رو معادل گرفتهشاید میخواسته بگه اینا با هم برابر نیستن اشتباها گفته برابرن
(*a* b) و *(a+b) و (?a? b)
فرض کنیم اشتباه نویسنده جزوه باشه , پس چی می تونه درستش باشه ؟
(۲۸ شهریور ۱۳۹۲ ۰۲:۲۸ ق.ظ)reza6966 نوشته شده توسط: من هنوز ذهنم درگیر هست که چرا در جزوه دکتر کارگهی این عبارات منظم رو معادل گرفتهخوب این عبارات باهم برابر نیستند مسلما و اشتباه نویسنده وجود داره
(*a* b) و *(a+b) و (?a? b)
فرض کنیم اشتباه نویسنده جزوه باشه , پس چی می تونه درستش باشه ؟
برای اینکه این عبارات باهم برابر شوند باید یک استار به بیرون پرانتز دو عبارتی که بیرون پرانتزشان استار ندارند اضافه کنید:
*(*a* b) و *(a+b) و *(?a? b) این عبارات باهم برابر هستند