تالار گفتمان مانشت

سلام دوستان
آیا رشته هایی که توسط این عبارات توصیف میشود یکسان است ؟

(*a* b) = این عبارت نیز تمام رشته های متشکل از a و b رو توصیف می کند ؟ مثلا ba نیز توصیف میشود ؟

(27 شهریور 1392 09:28 ب.ظ)reza6966 نوشته شده توسط: [ -> ]سلام دوستان
آیا رشته هایی که توسط این عبارات توصیف میشود یکسان است ؟

(*a* b) = این عبارت نیز تمام رشته های متشکل از a و b رو توصیف می کند ؟ مثلا ba نیز توصیف میشود ؟

خیر برابر نیستند
(*a*b):ابتدا به تعداد دلخواه از a و سپس به تعداد دلخواه از b

*(a+b):تمام رشته های متشکل از a و b

جواب سواله دومتونم خیر است
و سوال آخر هم خیر است یعنی ba توصیف نمیشه

(27 شهریور 1392 09:36 ب.ظ)svk7 نوشته شده توسط: [ -> ]

(27 شهریور 1392 09:28 ب.ظ)reza6966 نوشته شده توسط: [ -> ]سلام دوستان
آیا رشته هایی که توسط این عبارات توصیف میشود یکسان است ؟

(*a* b) = این عبارت نیز تمام رشته های متشکل از a و b رو توصیف می کند ؟ مثلا ba نیز توصیف میشود ؟

خیر برابر نیستند
(*a*b):ابتدا به تعداد دلخواه از a و سپس به تعداد دلخواه از b

*(a+b):تمام رشته های متشکل از a و b

جواب سواله دومتونم خیر است
و سوال آخر هم خیر است یعنی ba توصیف نمیشه

ممنون , داشتم جزوه کارگهی رو می خوندم که توی صفحه 31 این ها رو با هم برابر گرفته
با تغییر عبارت منظم به این (*a* + b) برابر خواهند شد ؟

در صورت [tex](a^{*} b^{*})[/tex] هم برابر نخواهند بود.
این عبارت منظم یا تعدادی (صفر یا ...) a و یا تعدادی (صفر یا ...) b را میدهد.
یعنی هیچ ترکیبی از aوb رو به ما نمیده.
اما [tex](a b)^{*}[/tex] هر ترکیبی از aوb رو به ما میده (حتی میشه عباراتی صرفا a یا صرفا b رو بگیریم).
وجه تشابه این دوتا شاید بشه گفت هردو لامبدا رو میپذیرند!

(27 شهریور 1392 10:20 ب.ظ)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

خلاصه کلام اینکه در مورد + توضیح بدید ممنون میشم

(28 شهریور 1392 01:27 ق.ظ)aem4949 نوشته شده توسط: [ -> ]

(27 شهریور 1392 10:20 ب.ظ)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)

(28 شهریور 1392 01:27 ق.ظ)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)

فرض کنیم اشتباه نویسنده جزوه باشه , پس چی می تونه درستش باشه ؟

(28 شهریور 1392 02:28 ق.ظ)reza6966 نوشته شده توسط: [ -> ]من هنوز ذهنم درگیر هست که چرا در جزوه دکتر کارگهی این عبارات منظم رو معادل گرفته
(*a* b) و *(a+b) و (?a? b)

فرض کنیم اشتباه نویسنده جزوه باشه , پس چی می تونه درستش باشه ؟

شاید میخواسته بگه اینا با هم برابر نیستن اشتباها گفته برابرن

(28 شهریور 1392 02:28 ق.ظ)reza6966 نوشته شده توسط: [ -> ]من هنوز ذهنم درگیر هست که چرا در جزوه دکتر کارگهی این عبارات منظم رو معادل گرفته
(*a* b) و *(a+b) و (?a? b)

فرض کنیم اشتباه نویسنده جزوه باشه , پس چی می تونه درستش باشه ؟

خوب این عبارات باهم برابر نیستند مسلما و اشتباه نویسنده وجود داره
برای اینکه این عبارات باهم برابر شوند باید یک استار به بیرون پرانتز دو عبارتی که بیرون پرانتزشان استار ندارند اضافه کنید:


*(*a* b) و *(a+b) و *(?a? b) این عبارات باهم برابر هستند