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

نسخه‌ی کامل: نسبت راست دو زبان
شما در حال مشاهده‌ی نسخه‌ی متنی این صفحه می‌باشید. مشاهده‌ی نسخه‌ی کامل با قالب بندی مناسب.
کسی میتونه یه توضیح راجبه نسبت راست دو زبان بده...البته توضیحه پوران خوبه تقریبا...اما یه جورایی انگار گنگه...
اگر تعریف ریاضی نسبت راست دو زبان رو به فارسی بنویسیم میشه:
زبان L1/L2 شامل قسمت ابتدایی رشته هایی از زبان L1 است که قسمت انتهایی آنها متعلق به زبان L2 است.
چنین تعریفی با مثال بیشتر تو ذهن میمونه.
توی جزوه نظریه ای که اینجا گذاشتم هست:

مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.


میخواین یه نگاهی بندازین.
بهترین تصوری که میشه برای نسبت راست دو زبان داشت به اینصورته که:
تمام رشته هایی از زبان اول یا L1 را تصور کن که بخش انتهایی ان متعلق به زبان دوم یا L2 باشه یعنی یه جورایی دم رشته w در L2 قرارداره
یعنی:
L1/L2={x‌: w=xy be member of L1 & y be Memeber of L2} finsh
یه جورایی همانطور که میبینیم L1/L2 دم w را(y) را قیچی میکنه یا میبره
نکته اگر L1 و L2 هر دو زمبان منظم باشند انگاه نسبت راست انها هم منظم هست .
مثال:
L1=a*b
L2=b
انگاه L1/L2 برابر است با a* یعنی یه جورایی دم تمام رشته های L1 که به b ختم میشوند رو قیچی میکنه و حذف میکنه.
مرسی...
میشه این سوالو هم یه توضیحی بدین. جوابشو نوشته میشه ۴.

مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.
به نظر من جواب گزینه چهار هست (70درصد مطمئنم) البته گزینه چهار شکلش ممکنه عجیب به نظر برسه ولی در واقع
این گزینه همان زبان *1*0*1*0 هستش.
ببخشید من اولش متوجه نشدم جواب گزینه رو هم زدید‌:
خب پس استدلالم رو به این شکل توضیح میدم:
ببنید w1w2 رشته های *1*0*1*0 رو تولید میکنه و به طبع w2w1 نیز همین رشته‌ها رو تولید میکنه بنابراین L2 باید رشته های رو تولید کنه بخش انتهایی انها یا به قول معروف دمشان برابر با *1*0*1*0 (دقت کنید که صفرها و 1 میتوانند null شوند یعنی اف سیلون جز w2w1 میباشد واین, کار رو راحت میکنه چون کوچکترین رشته متعلق به w2w1 اف سیلون هست و به قول معروف جواب برابر میشه با تمام رشته متعلق به w1w2 که اف سیلون بخش انتهای انها باشه یعنی *1*0*1*0 )لذا تنها گزینه چهار هستش اما همانطور که گفتم این گزینه شکلش عجیبه و با کمی ساده سازی این زبان همان *1*0*1*0 هستش.
اگر جایی رو متوجه نشدید بگید بیشتر توضیح بدم یا اگر سایر دوستان توضیح کاملتری رو دارند ممنون میشم مرقوم بفرمایند.
فکر کنم سوال دوم رو توی یک تاپیک جدا مطرح کنید زودتر جواب بگیرید.
البته من هم موافقم که سئوال رو در تاپیک مجزا عنوان کنید چون اینجوری احتمال جوابگویی به دلیل تداخل موضوعات و مباحث مختلف کمتر میشه وکمتر کسی به تاپیک توجه میکنه.Idea

مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.
لینک مرجع